Skip to content
@kind2-mc

Kind 2 Model Checker

Parallel multi-engine SMT-based inductive model checker

Pinned Loading

  1. kind2 kind2 Public

    Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

    OCaml 86 29

Repositories

Showing 10 of 11 repositories
  • kind2 Public

    Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

    kind2-mc/kind2’s past year of commit activity
    OCaml 86 Apache-2.0 29 4 2 Updated Oct 9, 2024
  • kind2-mc/vscode-kind2’s past year of commit activity
    TypeScript 2 MIT 2 1 0 Updated Aug 1, 2024
  • kind2-language-server Public

    Kind 2 Language Server Protocol implementation

    kind2-mc/kind2-language-server’s past year of commit activity
    Java 0 BSD-3-Clause 1 0 0 Updated Jun 19, 2024
  • kind2-java-api Public

    An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.

    kind2-mc/kind2-java-api’s past year of commit activity
    Java 3 BSD-3-Clause 1 0 0 Updated Jun 18, 2024
  • kind2-mc/VERDICT’s past year of commit activity
    Java 0 BSD-3-Clause 14 0 11 Updated Mar 15, 2023
  • kind2-benchmarks Public

    Set of benchmarks for Kind 2

    kind2-mc/kind2-benchmarks’s past year of commit activity
    eC 2 1 0 0 Updated Dec 26, 2022
  • cocospec_tcm_experiments Public

    CoCoSpec experiments on the TCM

    kind2-mc/cocospec_tcm_experiments’s past year of commit activity
    Shell 2 0 0 0 Updated Dec 3, 2021
  • kind2-mc/mivc-must-experiments’s past year of commit activity
    Python 0 0 0 0 Updated May 17, 2021
  • kind2-mc/kind2-explanations’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Aug 19, 2020
  • ocamlczmq Public Forked from chsticksel/ocamlczmq

    Ocaml binding to the high-level C binding for ØMQ

    kind2-mc/ocamlczmq’s past year of commit activity
    C++ 0 LGPL-3.0 2 0 0 Updated Oct 24, 2017

Top languages

Loading…

Most used topics

Loading…