Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: ic3
gipsyh/rIC3
A high-performance IC3/PDR algorithm implementation in Rust.
Language: Rust - Size: 656 KB - Last synced: 12 days ago - Pushed: 13 days ago - Stars: 4 - Forks: 0
ICC-analysis/APK-analyzer
Language: Shell - Size: 50.8 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 3 - Forks: 2
aman-goel/avr
Reads a state transition system and performs property checking
Language: C++ - Size: 910 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 68 - Forks: 17
rohitdureja/FuseIC3
An Algorithm for Checking Large Design Spaces
Language: C++ - Size: 122 KB - Last synced: 3 months ago - Pushed: almost 7 years ago - Stars: 7 - Forks: 3
rohitdureja/SimplePDR
A reference implementation of PDR for boolean transition systems
Language: C++ - Size: 8.02 MB - Last synced: 3 months ago - Pushed: over 7 years ago - Stars: 8 - Forks: 2
go-air/reach
symbolic reachability checker
Language: Go - Size: 1.9 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 21 - Forks: 3
SRI-CSL/sally
A model checker for infinite-state systems.
Language: C++ - Size: 5.6 MB - Last synced: 6 months ago - Pushed: almost 3 years ago - Stars: 68 - Forks: 12
banhday/tlatools_tthai
This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
Language: Java - Size: 25.9 MB - Last synced: over 1 year ago - Pushed: about 8 years ago - Stars: 2 - Forks: 0
hrbrmstr/fbi-2018-ic3
Data wrangling the 2018 FBI IC3 report
Size: 3.5 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0
jssottet/protobuffToJSMF
Using PEGJS grammar to build a JSMF metamodel and generic model-injector coming from Google Protobuf.
Language: JavaScript - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1