Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with alloy-analyzer

A curated list of projects in awesome lists tagged with alloy-analyzer .

https://github.com/fizzbee-io/fizzbee

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

alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus

Last synced: 30 Oct 2024

https://github.com/dgpv/miniscript-alloy-spec

Formal specification for Miniscript in Alloy

alloy-analyzer bitcoin formal-methods formal-specification miniscript

Last synced: 23 Oct 2024

https://github.com/se-buw/fm-playground

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

alloy alloy-analyzer formal-methods limboole nuxmv sat-solver smt-solver smt2 smv spectra spectra-synthesizer syntech z3

Last synced: 23 Oct 2024

https://github.com/mohannadcse/alloyspecrepair

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

alloy alloy-analyzer declarative-language gpt llm pre-trained-language-models repair

Last synced: 29 Dec 2024

https://github.com/ilmmr/svROS

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

alloy-analyzer ros2 sros2

Last synced: 23 Oct 2024

https://github.com/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

alloy alloy-analyzer

Last synced: 23 Oct 2024

https://github.com/EthanJamesLew/SWaP-C-analysis

example SWaP-C analysis inthe Clafer modeling language

alloy-analyzer clafer feature-model feature-modeling

Last synced: 23 Oct 2024