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 multi-paradigm-specifications

A curated list of projects in awesome lists tagged with multi-paradigm-specifications .

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