package kind2

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

dune-project

Dependency

kind2-mc.github.io Changelog Edit opam file Versions (14)

Authors

T

The Kind 2 development team

Maintainers

D

Daniel Larraz <daniel-larraz@uiowa.edu>

Sources

md5=94ceb30f1a8d726cfb4edee6499aa599

sha512=5f3b4f0a517b5cbdd194f4b7c968249a579170f3429c47a3f179ae36a7e2b0d01cffbc8670e190b7050081c43b119efa291fdcf04725ba3d4f9a86d5a9add3f6

doc/index.html

kind2