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 126 36

Repositories

Showing 10 of 13 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 126 Apache-2.0 36 27 11 Updated Sep 10, 2026
  • kind2-mc.github.io Public
    kind2-mc/kind2-mc.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Sep 10, 2026
  • vscode-kind2 Public
    kind2-mc/vscode-kind2's past year of commit activity
    TypeScript 3 MIT 4 1 1 Updated Sep 10, 2026
  • 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 2 0 0 Updated Sep 1, 2026
  • 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 4 BSD-3-Clause 3 0 0 Updated Jul 24, 2026
  • kind2-benchmarks Public

    Set of benchmarks for Kind 2

    kind2-mc/kind2-benchmarks's past year of commit activity
    eC 4 3 0 0 Updated Jul 14, 2026
  • kind2-explanations Public
    kind2-mc/kind2-explanations's past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Jul 13, 2026
  • 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 Jul 13, 2026
  • VERDICT Public Forked from ge-high-assurance/VERDICT
    kind2-mc/VERDICT's past year of commit activity
    Java 0 BSD-3-Clause 16 0 11 Updated Mar 13, 2026
  • OpenUxAS_P_Models Public
    kind2-mc/OpenUxAS_P_Models's past year of commit activity
    OpenEdge ABL 0 Apache-2.0 1 0 0 Updated Feb 13, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…