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 promela

A curated list of projects in awesome lists tagged with promela .

https://github.com/johnyf/promela

Promela parser using PLY (Python lex-yacc)

parse parser ply promela python

Last synced: 28 Oct 2024

https://github.com/johnyf/openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications

ltl multi-paradigm-specifications promela synthesis

Last synced: 14 Oct 2024

https://github.com/mrdiver/imspin

ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.

ispin model-checker promela spin

Last synced: 26 Nov 2024

https://github.com/ligurio/specs

Formal specifications

alloy promela spin tla-plus

Last synced: 18 Dec 2024

https://github.com/lucadibello/concurrency-spin-model-checker

SPIN model checker integration to verify the correctness of a sequential and concurrent program

concurrency model-checking promela software-analysis spin

Last synced: 11 Nov 2024