SMPT
SMPT copied to clipboard
Published
20 hours ago •
nicolasAmat
nicolasAmat
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Results
0
SMPT issues
Sort by
recently updated
recently updated
newest added
Metadata
27
Stars
5
Forks
Watchers
Owner
Metadata
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).