nicolasAmat/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
PythonGPL-3.0
Stargazers
- 0hexit
- AndrewJSchoenUniversity of Wisconsin - Madison
- Baptiste-PollienISAE-SUPAERO
- bouderb
- dalzilioLAAS-CNRS
- fenollp@Scaleway
- franklindyer
- Gary-oak-Star
- Gy-HuThe Hong Kong University of Science and Technology
- h-inoue
- iVoider
- jiach927
- LauZyHouShang Hai
- lebotlanToulouse, France
- liuhaozhe
- liupingapple
- maksleventalAMD
- MarieBadaroux
- nicolasAmatONERA, The French Aerospace Lab
- OlegJakushkin@OpenOrigins
- pehladik
- PerevalovHTWK Leipzig & Uni Paderborn
- sbgaia
- TephillaIndia
- Thsb
- xarkes
- yanntmLIP6, Sorbonne Université, CNRS