2 results found Sort:

aman-goel
avr aman-goel
19
75
gpl-3.0
4
Reads a state transition system and performs property checking
ic3 pdr verilog model-checking formal-verification
Created 2018-08-01
150 commits to master branch, last one 3 months ago
SRI-CSL
sally SRI-CSL
12
68
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