Skip to content

@kind2-mc Kind 2 Model Checker

All

    Repositories list

    12 repositories

    • kind2

      Public
      Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
      OCaml
      •
      Apache License 2.0
      •37•126•15•11•Updated Aug 28, 2026Aug 28, 2026

    • vscode-kind2

      Public
      TypeScript
      •
      MIT License
      •4•3•1•1•Updated Aug 3, 2026Aug 3, 2026

    • kind2-language-server

      Public
      Kind 2 Language Server Protocol implementation
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•1•Updated Jul 27, 2026Jul 27, 2026

    • kind2-java-api

      Public
      An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •3•4•0•0•Updated Jul 24, 2026Jul 24, 2026

    • kind2-benchmarks

      Public
      Set of benchmarks for Kind 2
      eC
      •3•4•0•0•Updated Jul 14, 2026Jul 14, 2026

    • kind2-explanations

      Public
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 13, 2026Jul 13, 2026

    • cocospec_tcm_experiments

      Public
      CoCoSpec experiments on the TCM
      Shell
      •
      Other
      •0•2•0•0•Updated Jul 13, 2026Jul 13, 2026

    • VERDICT

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •14•0•0•11•Updated Mar 13, 2026Mar 13, 2026

    • OpenUxAS_P_Models

      Public
      OpenEdge ABL
      •
      Apache License 2.0
      •1•0•0•0•Updated Feb 13, 2025Feb 13, 2025

    • mivc-must-experiments

      Public
      Python
      •0•0•0•0•Updated May 17, 2021May 17, 2021

    • ocamlczmq

      Public
      Ocaml binding to the high-level C binding for ØMQ
      C++
      •
      GNU Lesser General Public License v3.0
      •2•0•0•0•Updated Oct 24, 2017Oct 24, 2017

    • teas

      Public
      Test Execution and Analysis System
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 17, 2016Mar 17, 2016
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.