Projects in Awesome Lists tagged with modelchecking
A curated list of projects in awesome lists tagged with modelchecking .
https://github.com/deryeger/apollo-frontend
A web application for first-order model checking in graph structures.
angular d3 first-order-logic graph modelchecking typescript
Last synced: 19 Jul 2025
https://github.com/deryeger/apollo-backend
A web application for first-order model checking in graph structures.
first-order-logic graph hacktoberfest kotlin ktor modelchecking
Last synced: 24 Mar 2025
https://github.com/deryeger/apollo
A web application for first-order model checking in graph structures.
angular first-order-logic graph kotlin modelchecking
Last synced: 03 Apr 2025
https://github.com/konnov/apalache-examples
Examples of efficiently using Apalache
apalache examples modelchecking tla tlaplus
Last synced: 27 Feb 2026
https://github.com/deryeger/apollo-admin
A web application for first-order model checking in graph structures.
graph modelchecking nuxt typescript vue
Last synced: 03 Jul 2025
https://github.com/opensourcebim/nl-mpg-calc
Code compliance checking for Chapter 5 of the Dutch building decree
ai building-codes code-compliance-check compliance computational dutch modelchecking
Last synced: 10 Apr 2025
https://github.com/mbeddr/mps-logical-view-checks
An MPS language that supports adding info, warning and error messages to the logical view
jetbrains-mps logical-view modelchecker modelchecking
Last synced: 18 Feb 2026
