Popular repositories Loading

1. IL IL Public

   Description of Model Checking Intermediate Language

   TeX 11 2

2. Benchmarks Benchmarks Public

   MoXI Benchmarks for Symbolic Model Checking

   4 1

3. moxi-mc-flow moxi-mc-flow Public

   Translators from SMV to MoXI to BTOR2 and their witnesses.

   Python 4

4. vscode_syntax_highlighter vscode_syntax_highlighter Public

   A VSCode extension of a TextMate Syntax highlighter for MoXI

   1

5. ModelChecker.github.io ModelChecker.github.io Public

   An Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community

   TeX

6. dolmen dolmen Public

   Forked from Gbury/dolmen

   Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

   OCaml