Projects in Awesome Lists tagged with ic3
A curated list of projects in awesome lists tagged with ic3 .
https://github.com/sri-csl/sally
A model checker for infinite-state systems.
bounded-model-checking ic3 k-induction model-checker transition-systems verification
Last synced: 07 Apr 2025
https://github.com/gipsyh/rIC3
A high-performance IC3/PDR algorithm implementation in Rust.
formal-verification ic3 model-checking pdr-algorithm
Last synced: 14 Dec 2024
https://github.com/hrbrmstr/fbi-2018-ic3
Data wrangling the 2018 FBI IC3 report
Last synced: 05 Mar 2025