At a Glance
| Applications | Model Checker |
| Developers | University of Iowa |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
Kind 2 is a multi-engine SMT-based automatic model checker for synchronous reactive systems.
| Applications | Model Checker |
| Developers | University of Iowa |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Kind 2 is a multi-engine SMT-based automatic model checker for synchronous reactive systems.