1 Search Results
kind2
Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
1.6.0
Apache-2.0
Used by 0 other packages