List of free software testing and verification resources
-
Updated
Oct 11, 2019 - 330 commits
#
model-checking
- Sign up for GitHub or sign in to edit this page
Here are 152 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+.
-
Updated
Oct 13, 2019 - 7 commits
- Java
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
-
Updated
Sep 30, 2019 - 33 commits
- TLA
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
-
Updated
Oct 9, 2019 - 168 commits
- R
Concuerror is a stateless model checking tool for Erlang programs.
-
Updated
Oct 9, 2019 - 2 commits
- Erlang
-
Updated
Oct 4, 2019 - 3 commits
- Haskell
Command line binaries for the TLA+ language
-
Updated
Oct 9, 2019 - 13 commits
- Shell
alygin
commented
Oct 4, 2019
The TlaDocumentSymbolsProvider stumbles on operators while parsing constants and doesn't report them as model symbols. As a result, const operator names don't appear in the outline panel and in completion suggestions. Such operators also prevent parsing of the following constants.
A simple case:
CONSTANT Foo(_), BarNeither Foo nor Bar makes it to the model symbols list
A Modern Probabilistic Model Checker
-
Updated
Oct 10, 2019 - 7 commits
- C++
Verified message-passing programs in Dotty
-
Updated
Oct 2, 2019 - 30 commits
- Scala
The Git repository for the mCRL2 toolset.
-
Updated
Oct 13, 2019 - 16 commits
- C++
CoreIR Symbolic Analyzer
-
Updated
Oct 3, 2019 - 853 commits
- Python
The LTSmin model checking toolset
-
Updated
Jul 5, 2019 - 3 commits
- C
A simple REPL for the TLA+ language, using the TLC model checker.
-
Updated
Oct 2, 2019 - 25 commits
- Python
APALACHE: symbolic model checker for TLA+
-
Updated
Oct 11, 2019 - 832 commits
- Scala
Experimental Smart Contracts In Plutus.
-
Updated
Mar 21, 2019 - 14 commits
- Haskell
model-describer : Making machine learning interpretable to humans
-
Updated
Sep 16, 2019 - 343 commits
- JavaScript
A symbolic model checker for Dynamic Epistemic Logic.
-
Updated
Sep 28, 2019 - 87 commits
- Haskell
Memory consistency modelling using Alloy
-
Updated
Jul 25, 2019 - 482 commits
- OCaml
Generic, modular and configurable model checking framework
-
Updated
Oct 12, 2019 - 2 commits
- Java
ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.
-
Updated
Oct 11, 2019 - 327 commits
- Java
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
-
Updated
Aug 23, 2019 - 3 commits
- C++
Klever Git repository read-only mirror
-
Updated
Sep 4, 2019 - 6 commits
- Python
A Class Field Value Validation Library.
-
Updated
Feb 11, 2019 - 51 commits
- Java
We want to auto-generate a website that documents all the supported patterns of ReqAnalyzer and their countertrace formulas.
It would be even better if we would generate pictures of automata and/or timing diagrams.