A parallel version k-induction model checker for Lustre programs
Primary LanguageOCaml
No issues in this repository yet.