Popular repositories

1. IL IL Public

   Description of Model Checking Intermediate Language

   TeX 6 2

2. Benchmarks Benchmarks Public

   MoXI Benchmarks for Symbolic Model Checking

   2

3. vscode_syntax_highlighter vscode_syntax_highlighter Public

   A VSCode extension of a TextMate Syntax highlighter for the IL

   1

4. 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

5. moxi-mc-flow moxi-mc-flow Public

   Translators from SMV to MoXI to BTOR2 and their witnesses.

   Python

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