Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for model checker
model-checker
x
18 search results found
Stateright
⭐
1,473
A model checker for implementing distributed systems.
Concuerror
⭐
323
Concuerror is a stateless model checking tool for Erlang programs.
Storm
⭐
119
A Modern Probabilistic Model Checker
Mcrl2
⭐
83
The Git repository for the mCRL2 toolset.
Eldarica
⭐
70
The Eldarica model checker
Sally
⭐
56
A model checker for infinite-state systems.
Ltsmin
⭐
49
The LTSmin model checking toolset
Smpt
⭐
26
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Dscheck
⭐
25
Experimental model checker for testing concurrent algorithms
Imitator
⭐
23
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
Momba
⭐
17
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Munta
⭐
14
Fully verified model checker for realtime systems
Intrepid
⭐
13
Intrepyd Model Checker
Pypl
⭐
12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Rumur
⭐
10
yet another model checker
Pnmc
⭐
8
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
Modelchecker
⭐
6
Cgaal
⭐
6
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
Related Searches
C Plus Plus Model Checker (7)
Automaton Model Checker (4)
Python Model Checker (4)
Model Checker Mu Calculus (3)
Reachability Model Checker (3)
Model Checker Timed Automata (3)
Formal Methods Model Checker (3)
Rust Model Checker (3)
1-18 of 18 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.