kind2-mc/kind2 kind2-mc/kind2

  • Stars
    star
    85
  • Rank 385,668 (Top 8 %)
  • Language
    OCaml
  • License
    Apache License 2.0
  • Created about 11 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kind2-mc/kind2
github

kind2-mc

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

kind2-java-api

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

cocospec_tcm_experiments

CoCoSpec experiments on the TCM
Shell
2
star
3

kind2-benchmarks

Set of benchmarks for Kind 2
eC
2
star
4

vscode-kind2

TypeScript
2
star