Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Model Checker Open Source Projects

Open source projects categorized as Model Checker
Categories > Model Checker
Stateright ⭐ 1,473
A model checker for implementing distributed systems.
dependent packages 1total releases 50most recent commit 4 months agocargo stateright} Downloads
Concuerror ⭐ 323
Concuerror is a stateless model checking tool for Erlang programs.
total releases 2most recent commit 8 months ago
Storm ⭐ 119
A Modern Probabilistic Model Checker
most recent commit 3 months ago
Mcrl2 ⭐ 83
The Git repository for the mCRL2 toolset.
most recent commit 4 months ago
Eldarica ⭐ 70
The Eldarica model checker
most recent commit 4 months ago
Sally ⭐ 56
A model checker for infinite-state systems.
most recent commit 3 years ago
Ltsmin ⭐ 49
The LTSmin model checking toolset
most recent commit 4 months ago
Smpt ⭐ 26
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
most recent commit 6 months ago
Dscheck ⭐ 25
Experimental model checker for testing concurrent algorithms
most recent commit 6 months ago
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.
most recent commit 3 months ago
Momba ⭐ 17
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
dependent packages 3total releases 11most recent commit 8 months agocargo clock-zones} Downloads
Munta ⭐ 14
Fully verified model checker for realtime systems
most recent commit 3 years ago
Intrepid ⭐ 13
Intrepyd Model Checker
total releases 37most recent commit 3 years ago
Pypl ⭐ 12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
most recent commit a year ago
Rumur ⭐ 10
yet another model checker
most recent commit 5 months ago
Pnmc ⭐ 8
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
most recent commit 6 months ago
Modelchecker ⭐ 6
most recent commit 4 years ago
Cgaal ⭐ 6
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
most recent commit 6 months ago
The 2 Most Depended On Model Checker Open Source Projects
Momba ⭐ 17
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
dependent packages 3total releases 11latest release May 04, 2021most recent commit 8 months agocargo clock-zones} Downloads
Stateright ⭐ 1,473
A model checker for implementing distributed systems.
dependent packages 1total releases 50latest release August 27, 2023most recent commit 4 months agocargo stateright} Downloads
The 4 Latest Releases In Model Checker Open Source Projects
Stateright ⭐ 1,473
A model checker for implementing distributed systems.
dependent packages 1total releases 50latest release August 27, 2023most recent commit 4 months agocargo stateright} Downloads
Intrepid ⭐ 13
Intrepyd Model Checker
total releases 37latest release November 25, 2021most recent commit 3 years ago
Momba ⭐ 17
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
dependent packages 3total releases 11latest release May 04, 2021most recent commit 8 months agocargo clock-zones} Downloads
Concuerror ⭐ 323
Concuerror is a stateless model checking tool for Erlang programs.
total releases 2latest release October 31, 2020most recent commit 8 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.