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

Showing 1 - 1
  1. Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
    2.2.0
    Apache-2.0
    Used by 0 other packages
    24 May 2024