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=c17079ff685f44491155105d4d9dc127

sha512=d021ec286d12521c123f7d4c8d661d308f165933d4aed4758f0de28895c1ccad5d32a1608553e9837b7f780a696b80901a4548bd2589a7e6973d1fcde492b01d

doc/index.html

kind2