package kind2

  1. Overview
  2. Docs
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 (15)

Authors

  1. T
    The Kind 2 development team

Maintainers

  1. D
    Daniel Larraz <daniel-larraz@uiowa.edu>

Sources

v3.0.0.tar.gz
md5=30d0ad9efd2723f99c60183b5e1b7299
sha512=61bcf3260a3817b0159497bb199b44ce8ea615acdbe3f3af10425bb731dc9ca41d2a1a73a4f0b24c867843d095c9654b716f38ee1fcbb24e364dd7e6d5abf792

doc/index.html

kind2