Search Results - RepositoryStats

20

77

gpl-3.0

3

Reads a state transition system and performs property checking

ic3 pdr verilog model-checking formal-verification

Created 2018-08-01

171 commits to master branch, last one 28 days ago

13

74

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

8

40

gpl-3.0

1

Hardware Model Checker

ic3 pdr-algorithm model-checking formal-verification

Created 2023-02-06

740 commits to master branch, last one 2 days ago