This is your work, valued

The University of Iowa

Kind 2 Model Checker

Intermediate
@kind2-mc

Parallel multi-engine SMT-based inductive model checker

kind.cs.uiowa.edu