ic3 topic

List ic3 repositories

sally

69
Stars
12
Forks
Watchers

A model checker for infinite-state systems.

verified publisher icon SRI-CSL

reach

22
Stars
3
Forks
Watchers

symbolic reachability checker

verified publisher icon go-air

avr

72
Stars
19
Forks
Watchers

Reads a state transition system and performs property checking

verified publisher icon aman-goel