At a Glance
| Applications | Model Checker |
| Developers | LAAS-CNRS |
| Licenses | GPLv3 |
| Maintenance | Actively Maintained |
Description
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).