Opam Package kind2.1.3.1

Package info

opam-namekind2
opam-version1.3.1
synopsisMulti-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
descriptionKind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language. In its basic configuration it takes as input a Lustre file annotated with properties to be proven invariant, and outputs for each property either a confirmation or a counterexample, i.e., a sequence inputs that falsifies the property. More advanced features include contract-based compositional verification, proof generation for proven properties, and contract-based test generation.
authors
  • The Kind 2 development team
homepagehttps://kind2-mc.github.io/kind2
licenseApache-2.0
changes-fileCHANGES.md
deps (10)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

kind2

Package files

lib/kind2/opam
lib/kind2/dune-package
lib/kind2/META
lib/kind2
doc/kind2/README.rst
doc/kind2/LICENSE.rst
doc/kind2/CHANGES.md
doc/kind2
bin/kind2