model-checking
Here are 298 public repositories matching this topic...
The Ultimate program analysis framework.
-
Updated
Jul 19, 2024 - Java
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
-
Updated
Jul 19, 2024 - C
The P programming language.
-
Updated
Jul 18, 2024 - C#
A community sourced free tla+ formal methods wiki.
-
Updated
Jul 18, 2024 - CSS
Automatic verification of LLVM optimizations
-
Updated
Jul 18, 2024 - C++
Find deadlocks in Rust code with Petri net model checking
-
Updated
Jul 18, 2024 - Rust
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Jul 17, 2024 - Java
Interactive, web-based environment for exploring TLA+ specifications.
-
Updated
Jul 16, 2024 - TLA
The Git repository for the mCRL2 toolset.
-
Updated
Jul 16, 2024 - C++
APALACHE: symbolic model checker for TLA+ and Quint
-
Updated
Jul 14, 2024 - Scala
A Modern Probabilistic Model Checker
-
Updated
Jul 19, 2024 - C++
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
-
Updated
Jul 17, 2024 - Java
Simple implementation of mu-calculus model checking
-
Updated
Jul 12, 2024 - Python
The SLiVER LAbS VERifier
-
Updated
Jul 12, 2024 - Python
ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.
-
Updated
Jul 11, 2024 - Java
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
-
Updated
Jul 10, 2024 - Python
Verification framework and tool for higher-order Scala programs
-
Updated
Jul 19, 2024 - HTML
Improve this page
Add a description, image, and links to the model-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."