GitHub repository: ksuenaga/HybridPDR
Primary language: OCaml
Description: Hybrid system verification using PDR/IC3