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 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=3e9281a5da3215b89ed9e492a6decc2a

sha512=65cd68ca00704421cc9def3b83df84bfa6854b4d5670e6c79d47b24c9d44bb309f7dfb37c0b5a210ae7a34d2552e9d2fa63e22c2a8b8ea27d592106b3ca29620

doc/index.html

kind2