Kind 2 Model Checker (@kind2-mc)
Guthub

kind2-mc

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    94
  • Global Org. Rank 59,583 (Top 19 %)
  • Registered over 11 years ago
  • Most used languages
    OCaml
         20.0 %
    Shell
         20.0 %
    Java
         20.0 %
    TypeScript
         20.0 %
    eC     20.0 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 51,607
  • Country Ranking
    eC     6
    OCaml
         82

Top repositories

1

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
OCaml
85
star
2

kind2-java-api

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

cocospec_tcm_experiments

CoCoSpec experiments on the TCM
Shell
2
star
4

kind2-benchmarks

Set of benchmarks for Kind 2
eC
2
star
5

vscode-kind2

TypeScript
2
star