An open API service indexing awesome lists of open source software.

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

fbi ic3 r rstats

Last synced: 05 Mar 2025