1 search result for "author:"The Kind 2 development team""

Showing 1 - 1
  1. kind2
    Documentation
    Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
    The Kind 2 development team
    3.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository