Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Model Checking Open Source Projects

Open source projects categorized as Model Checking
Categories > Software Quality > Model Checking
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3most recent commit 4 months agonuget PCheckerCore} Downloads
Tlaplus ⭐ 2,154
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
most recent commit 3 months ago
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44most recent commit 3 months ago
Tla Rust ⭐ 831
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
most recent commit 7 years ago
Alive2 ⭐ 634
Automatic verification of LLVM optimizations
most recent commit 3 months ago
Lime ⭐ 470
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
dependent packages 3total releases 8most recent commit 2 years ago
Blockingqueue ⭐ 461
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
most recent commit 10 months ago
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago
Apalache ⭐ 387
APALACHE: symbolic model checker for TLA+ and Quint
most recent commit 3 months ago
Vscode Tlaplus ⭐ 327
TLA+ language support for Visual Studio Code
most recent commit 3 months ago
Concuerror ⭐ 323
Concuerror is a stateless model checking tool for Erlang programs.
total releases 2most recent commit 8 months ago
Mbeddr.core ⭐ 221
The mbeddr core. An extensible C
most recent commit 3 months ago
Ultimate ⭐ 175
The Ultimate program analysis framework.
most recent commit 3 months ago
Datagene ⭐ 170
DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)
total releases 3most recent commit 2 years ago
Tla Bin ⭐ 149
Command line binaries for the TLA+ language
most recent commit a year ago
Deli ⭐ 146
most recent commit 3 years ago
Storm ⭐ 119
A Modern Probabilistic Model Checker
most recent commit 3 months ago
Tlaplus_jupyter ⭐ 111
Jupyter kernel for TLA⁺
total releases 2most recent commit 2 years ago
Fantoch ⭐ 108
framework for evaluating (planet-scale) consensus protocols
most recent commit a year ago
Mcrl2 ⭐ 83
The Git repository for the mCRL2 toolset.
most recent commit 3 months ago
Jayhorn ⭐ 72
Static checker for Java
most recent commit 5 months ago
Forge ⭐ 52
most recent commit 3 months ago
Multivariatepointprocess ⭐ 50
most recent commit 6 years ago
The 7 Most Depended On Model Checking Open Source Projects
Lime ⭐ 470
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
dependent packages 3total releases 8latest release August 19, 2022most recent commit 2 years ago
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit a year agocargo modelator} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Cosa ⭐ 35
CoreIR Symbolic Analyzer
dependent packages 1total releases 16latest release June 03, 2019most recent commit 4 years agopypi CoSA} Downloads
Maude Bindings ⭐ 12
Language bindings for Maude
dependent packages 1total releases 14latest release January 03, 2023most recent commit 5 months agopypi maude} Downloads
Modelator Py ⭐ 26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
dependent packages 1total releases 17latest release November 18, 2022most recent commit a year agopypi modelator-py} Downloads
The 10 Latest Releases In Model Checking Open Source Projects
Forge ⭐ 52
latest release December 01, 2023most recent commit 3 months ago
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Cargo Check Deadlock ⭐ 15
Find deadlocks in Rust code with Petri net model checking
total releases 5latest release October 14, 2023most recent commit 4 months ago
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Maude Bindings ⭐ 12
Language bindings for Maude
dependent packages 1total releases 14latest release January 03, 2023most recent commit 5 months agopypi maude} Downloads
Modelator Py ⭐ 26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
dependent packages 1total releases 17latest release November 18, 2022most recent commit a year agopypi modelator-py} Downloads
Lime ⭐ 470
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
dependent packages 3total releases 8latest release August 19, 2022most recent commit 2 years ago
Pytolemaic ⭐ 10
Toolbox for analysis of model's quality and model's description. For further details see
total releases 56latest release June 19, 2022most recent commit a year ago
Smcdel ⭐ 35
A symbolic model checker for Dynamic Epistemic Logic.
total releases 3latest release February 22, 2022most recent commit 5 months ago
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit a year agocargo modelator} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
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.