A tool to run critics on SQL database schema dumps.
-
Updated
Apr 23, 2018 - Smalltalk
A tool to run critics on SQL database schema dumps.
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
A bounded model checker for an IMP-style imperative language.
[beta] An experimental model checker for LTL written in Rust
The formal proof of the security of the Mutual Authentication and Key Exchange (MAKE) protocol of LDACS using the symbolic model checker Tamarin.
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
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.
Study for mah thesis
A model checker for infinite-state systems.
Project done for my B.Tech course on Formal Methods for System Verification
Intrepyd Model Checker
Fully verified model checker for realtime systems
Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.
To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."