Kind 2 Model Checker

kind2 Public

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

OCaml 126Apache-2.0 37 5 11 Updated Aug 23, 2026

TypeScript 3MIT 4 1 1 Updated Aug 3, 2026

Kind 2 Language Server Protocol implementation

Java 0BSD-3-Clause 2 0 1 Updated Jul 27, 2026

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

Java 4BSD-3-Clause 3 0 0 Updated Jul 24, 2026

Set of benchmarks for Kind 2

eC 4 3 0 0 Updated Jul 14, 2026

Java 0Apache-2.0 0 0 0 Updated Jul 13, 2026

CoCoSpec experiments on the TCM

Shell 2 0 0 0 Updated Jul 13, 2026

Java 0BSD-3-Clause 15 0 11 Updated Mar 13, 2026

OpenEdge ABL 0Apache-2.0 1 0 0 Updated Feb 13, 2025

Python 0 0 0 0 Updated May 17, 2021

Navigation Menu