42 results for “topic:model-checker”
A model checker for implementing distributed systems.
Concuerror is a stateless model checking tool for Erlang programs.
A Modern Probabilistic Model Checker
The Git repository for the mCRL2 toolset.
The Eldarica model checker
SRI Sally: A model checker for infinite-state systems.
The LTSmin model checking toolset
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
Experimental model checker for testing concurrent algorithms
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
yet another model checker
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Intrepyd Model Checker
Fully verified model checker for realtime systems
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
A bounded model checker for an IMP-style imperative language.
No description provided.
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Project done for my B.Tech course on Formal Methods for System Verification
[beta] An experimental model checker for LTL written in Rust
LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the model's next-state function, instead of interpreting the input LLVM IR, enabling speedups of orders of magnitude.
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
A small experiment reproducing the AWS DNS race condition using the Spin model checker.
Simple implementation of PDR and CAR model checking algorithms
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.
Model Checking tool to verify LTL properties in stack memory of binary programs