At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | GPL-3.0 |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2017
FuseIC3 is a SAT-based algorithm for checking a set of models. It extends IC3 to minimize time spent in exploring the common state space between related models.