SMPT icon indicating copy to clipboard operation
SMPT copied to clipboard

Published 20 hours ago • verified publisher icon nicolasAmat
→

Metadata

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
4
Forks
Watchers

Owner

verified publisher icon nicolasAmat

Metadata

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Back