Kind 2 Model Checker

Parallel multi-engine SMT-based inductive model checker

The University of Iowa

Pinned Repositories

cocospec_tcm_experiments
CoCoSpec experiments on the TCM
Language:Shell2 5 00
kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Language:OCaml85 6 8429
kind2-benchmarks
Set of benchmarks for Kind 2
Language:eC2 9 01
kind2-explanations
Language:Java0 5 00
kind2-java-api
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Language:Java3 4 01
kind2-language-server
Kind 2 Language Server Protocol implementation
Language:Java0 4 01
mivc-must-experiments
Language:Python0 3 00
ocamlczmq
Ocaml binding to the high-level C binding for ØMQ
Language:C++0 4 00
VERDICT
Language:Java00
vscode-kind2
Language:TypeScript22

Kind 2 Model Checker's Repositories

kind2-mc/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Language:OCaml85 6 8429
kind2-mc/kind2-java-api
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Language:Java3 4 01
kind2-mc/cocospec_tcm_experiments
CoCoSpec experiments on the TCM
Language:Shell2 5 00
kind2-mc/kind2-benchmarks
Set of benchmarks for Kind 2
Language:eC2 9 01
kind2-mc/vscode-kind2
Language:TypeScript22
kind2-mc/kind2-explanations
Language:Java0 5 00
kind2-mc/kind2-language-server
Kind 2 Language Server Protocol implementation
Language:Java0 4 01
kind2-mc/mivc-must-experiments
Language:Python0 3 00
kind2-mc/ocamlczmq
Ocaml binding to the high-level C binding for ØMQ
Language:C++0 4 00
kind2-mc/teas
Test Execution and Analysis System
Language:Rust0 5 00
kind2-mc/VERDICT
Language:Java00