A model checker for implementing distributed systems.
-
Updated
Jun 7, 2021 - Rust
#
model-checker
Here are 31 public repositories matching this topic...
Concuerror is a stateless model checking tool for Erlang programs.
testing
debugging
erlang
otp
tool
verification
systematic-testing
travis-badge
concuerror
automatic
concurrent-erlang-programs
concurrent-programming
model-checking
codecov
model-checker
codecov-badge
stateless-model-checking
erlang-versions-badge
erlang-programs
-
Updated
Jul 18, 2021 - Erlang
A model checker for infinite-state systems.
-
Updated
Apr 2, 2021 - C++
The Git repository for the mCRL2 toolset.
-
Updated
Aug 25, 2021 - C++
The Eldarica model checker
-
Updated
Aug 24, 2021 - Scala
The LTSmin model checking toolset
promela
model-checking
petri-net
model-checker
dve
pnml
linear-temporal-logic
mu-calculus
computation-tree-logic
-
Updated
Jul 15, 2021 - C
IMITATOR
model-checking
model-checker
real-time-systems
timed-automata
parameter-synthesis
reachability-synthesis
-
Updated
Aug 26, 2021 - OCaml
Intrepyd Model Checker
python
pypi
z3
model-checking
formal-methods
automated-tests
smt-solver
formal-verification
model-checker
-
Updated
May 23, 2021 - Python
Fully verified model checker for realtime systems
-
Updated
Jan 6, 2021 - Isabelle
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
-
Updated
Jun 29, 2021 - Python
-
Updated
Jan 2, 2020 - Scala
A bounded model checker for an IMP-style imperative language.
-
Updated
Feb 23, 2019 - Rust
falkecarlsen
commented
May 31, 2021
Most importantly is the cli-tool, which should be named and called cgaal when invoking.
SMPT is an SMT-based model-checker that takes advantage of nets reduction.
linear-algebra
reachability
abstraction
model-checking
petri-nets
smt
model-checker
sat
reductions
reachability-analysis
structural-reductions
smt-solving
-
Updated
Apr 7, 2021 - Python
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
-
Updated
Feb 27, 2021 - C++
A naive model generator, model checker and theorem prover for first-order logic.
proof
logic
first-order-logic
model-checking
propositional-logic
model-checker
model-extraction
modal-logic
theorem-prover
intuitionistic-logic
predicate-logic
classical-logic
analytic-tableaux
model-generation
-
Updated
Apr 28, 2021 - Python
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
-
Updated
Jun 24, 2020 - C++
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
c
parallel-computing
model-checking
formal-methods
probabilistic
multicore
formal-verification
model-checker
ctl-formulas
reachability-analysis
-
Updated
Nov 16, 2020 - C
Project done for my B.Tech course on Formal Methods for System Verification
-
Updated
Nov 5, 2019
[beta] An experimental model checker for LTL written in Rust
-
Updated
May 14, 2020 - Rust
LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the model's next-state function, instead of interpreting the input LLVM IR, enabling speedups of orders of magnitude.
-
Updated
Jun 1, 2021 - C++
xhajnal
commented
Jul 31, 2018
On the right side panel in the Explorer and Results in more dimension, there is a slider with text "Discrete value of" but the slider changes intervals of variable not the value
-
Updated
Dec 15, 2020 - Kotlin
The formal proof of the security of the Mutual Authentication and Key Exchange (MAKE) protocol of LDACS using the symbolic model checker Tamarin.
-
Updated
Aug 18, 2020
Study for mah thesis
avatar
games
sprites
python3
promela
research-project
spin
research-paper
model-checker
mine
victory
polisher
map-polisher
py-vgdl
-
Updated
Jul 5, 2021 - C
A tool to run critics on SQL database schema dumps.
-
Updated
Apr 23, 2018 - Smalltalk
Improve this page
Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."
Multiple operations on programs visit all expressions either to modify or to analyse them.
This yields a series of awkward code duplications that could be reduced by adding a visitor pattern.