A high-performance IC3/PDR algorithm implementation in Rust.
-
Updated
May 27, 2024 - Rust
A high-performance IC3/PDR algorithm implementation in Rust.
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
The Git repository for the mCRL2 toolset.
Symbolic Model Checker for the Gossip Problem
Automatic verification of LLVM optimizations
A Modern Probabilistic Model Checker
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
The P programming language.
A symbolic model checker for Dynamic Epistemic Logic.
A multi-formalism, multi-solution model-checker centered on the language GAL
SeaHorn Verification Framework
Interactive, web-based environment for exploring TLA+ specifications.
Read-only mirror of the Klever Git repository
The Ultimate program analysis framework.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Detailed exploration of random forest classifiers, including data cleaning, model building, and performance evaluation on various datasets.
APALACHE: symbolic model checker for TLA+ and Quint
Verification framework and tool for higher-order Scala programs
Add a description, image, and links to the model-checking topic page so that developers can more easily learn about it.
To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."