fizzbee-io/fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Language: Python - Size: 354 KB - Last synced: 4 days ago - Pushed: 9 days ago - Stars: 69 - Forks: 4

se-buw/fm-playground

A Formal Method playground for limboole, Z3, nuXmv, and Alloy

Language: JavaScript - Size: 24.3 MB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 4 - Forks: 2

Mohannadcse/AlloySpecRepair

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

Language: Alloy - Size: 12.9 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

nicoatuni/smart-contract-vuln 📦

SWEN90010 2022S1 Assignment 2 at Uni of Melbourne. Analysing vulnerabilities in an Alloy model of a smart contract program.

Language: Alloy - Size: 195 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

miguelmota/alloy-learning 📦

Some examples and notes while learning Alloy modeling language.

Size: 5.86 KB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 2 - Forks: 1

sinamoghtaderfar/Alloy-Analyzer

online exam and justice project

Language: Alloy - Size: 116 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

pedrordgs/RailML-Utilities

railML validation tool

Language: Python - Size: 22 MB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 7 - Forks: 0

ilmmr/svROS

Verification of Observational Determinism in ROS2-based systems using Alloy.

Language: Python - Size: 78 MB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

EthanJamesLew/SWaP-C-analysis

example SWaP-C analysis inthe Clafer modeling language

Size: 462 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

dgpv/miniscript-alloy-spec

Formal specification for Miniscript in Alloy

Language: Alloy - Size: 163 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 9 - Forks: 5

alvesmatheus/modelagem-logica

Especificação formal de uma distribuição de funcionários para a disciplina Lógica para Computação.

Language: Alloy - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

huanhulan/alloy-exercises

my exercises for Alloy tool

Language: Alloy - Size: 108 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 3 - Forks: 0

Dihfahsih1/Distributed-Social-Network

Assignment Add the following to complete and execute the model 1. Write the following invariants: (20 marks) Each post is owned by at most one user A user cannot be his or her own friend Friendship is a symmetric relation Server capacity is positive Servers cannot exceed their capacity

Language: Alloy - Size: 9.13 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

WatForm/aldb

A debugger for transition systems modelled in Alloy

Language: Java - Size: 16.1 MB - Last synced: 4 months ago - Pushed: almost 3 years ago - Stars: 6 - Forks: 0

arranstewart-dev/alloy-analyser-gitpod

Alloy analyser running in gitpod.io

Language: Python - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

occiware/fclouds-Framework

Language: Alloy - Size: 444 KB - Last synced: 4 months ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0