Search Results - RepositoryStats

20

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 2 months ago

13

70

gpl-2.0

14

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 about a month ago

4

27

gpl-3.0

1

Hardware Model Checker

ic3 pdr-algorithm model-checking formal-verification

Created 2023-02-06

706 commits to master branch, last one 18 hours ago