kind2-mc/kind2-benchmarks kind2-mc/kind2-benchmarks

  • Stars
    star
    2
  • Language eC
  • Created about 9 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kind2-mc/kind2-benchmarks
github

kind2-mc

Reviews

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

Repository Details

Set of benchmarks for Kind 2

More 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

vscode-kind2

TypeScript
2
star