COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20200807202559/https://github.com/topics/model-checking
Here are
182 public repositories
matching this topic...
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Concuerror is a stateless model checking tool for Erlang programs.
Updated
Jun 16, 2020
Erlang
Links to tools by subject
SeaHorn Verification Framework
Updated
Nov 25, 2019
Haskell
DataGene - Identify How Similar Datasets Are to One Another (by
@firmai )
Updated
Jun 8, 2020
Jupyter Notebook
APALACHE: symbolic model checker for TLA+
Updated
Aug 7, 2020
Scala
TLA+ language support for Visual Studio Code
Updated
Aug 3, 2020
TypeScript
Updated
Dec 9, 2019
Python
Command line binaries for the TLA+ language
Updated
Apr 23, 2020
Shell
A Modern Probabilistic Model Checker
Updated
Apr 20, 2020
Java
The Git repository for the mCRL2 toolset.
Updated
Apr 18, 2020
Python
Verified message-passing programs in Dotty
Updated
Sep 8, 2019
Scala
The LTSmin model checking toolset
A simple REPL for the TLA+ language, using the TLC model checker.
Updated
Jun 25, 2020
Python
Experimental Smart Contracts In Plutus.
Updated
Mar 12, 2019
Haskell
A symbolic model checker for Dynamic Epistemic Logic.
Updated
Jul 6, 2020
Haskell
model-describer : Making machine learning interpretable to humans
Updated
Aug 15, 2018
JavaScript
Different TLA+ specifications, mostly for learning purposes
Memory consistency modelling using Alloy
Updated
Oct 7, 2019
OCaml
ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.
Klever Git repository read-only mirror
Updated
Aug 6, 2020
Python
Generic, modular and configurable model checking framework
Updated
Jul 30, 2020
Java
Improve this page
Add a description, image, and links to the
model-checking
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
model-checking
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
