A high-performance IC3/PDR algorithm implementation in Rust.
-
Updated
May 24, 2024 - Rust
A high-performance IC3/PDR algorithm implementation in Rust.
The P programming language.
A Modern Probabilistic Model Checker
Automatic verification of LLVM optimizations
A symbolic model checker for Dynamic Epistemic Logic.
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
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.
The Git repository for the mCRL2 toolset.
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
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.
Verification framework and tool for higher-order Scala programs
Symbolic Model Checker for the Gossip Problem
Concuerror is a stateless model checking tool for Erlang 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."