2 results found Sort:

aman-goel
avr aman-goel
19
76
gpl-3.0
4
Reads a state transition system and performs property checking
ic3 pdr verilog model-checking formal-verification
Created 2018-08-01
169 commits to master branch, last one a day ago
SRI-CSL
sally SRI-CSL
12
69
gpl-2.0
13
A model checker for infinite-state systems.
ic3 k-induction verification model-checker transition-systems bounded-model-checking
Created 2014-10-03
942 commits to master branch, last one 3 years ago