Skip to content

@ModelChecker ModelChecker

Change the repository type filter

All

    Repositories list

    8 repositories

    • moxi-tools

      Public
      C
      •0•0•0•0•Updated Sep 13, 2025Sep 13, 2025

    • IL

      Public
      Description of Model Checking Intermediate Language
      TeX
      •2•11•0•0•Updated Mar 31, 2025Mar 31, 2025

    • Benchmarks

      Public
      MoXI Benchmarks for Symbolic Model Checking
      1•5•0•0•Updated Feb 25, 2025Feb 25, 2025

    • moxi-mc-flow

      Public
      Translators from SMV to MoXI to BTOR2 and their witnesses.
      Python
      •
      GNU General Public License v3.0
      •0•4•10•0•Updated Aug 12, 2024Aug 12, 2024

    • vscode_syntax_highlighter

      Public
      A VSCode extension of a TextMate Syntax highlighter for MoXI
      MIT License
      •0•1•0•0•Updated Jul 15, 2024Jul 15, 2024

    • ModelChecker.github.io

      Public
      An Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community
      TeX
      •0•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • FMCAD23-Tutorial

      Public
      0•0•0•0•Updated Oct 29, 2023Oct 29, 2023

    • dolmen

      Public
      Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •21•0•0•0•Updated Oct 20, 2023Oct 20, 2023