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 about a month ago
SRI-CSL
sally SRI-CSL
13
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
943 commits to master branch, last one 2 days ago