- Notifications
You must be signed in to change notification settings - Fork5
Releases: nicolasAmat/SMPT
Releases · nicolasAmat/SMPT
v4.0.0
Compare
Could not load tags
Nothing to show
{{ refName }}defaultLoading
SMPT version of the paper "Property Directed Reachability for Generalized Petri Nets".
Full Changelog:v3.0.0...v4.0.0
Assets2
v3.0.0
Compare
Could not load tags
Nothing to show
{{ refName }}defaultLoading
SMPT version of the MCC2021 participation.
Full Changelog:v2.0.0...v3.0.0
Assets2
v2.0.0
Compare
Could not load tags
Nothing to show
{{ refName }}defaultLoading
SMPT version of the paper " On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets".
Full Changelog:v1.0.0...v2.0.0
Assets2
v1.0.0
3f18a0c This commit was created on GitHub.com and signed with GitHub’sverified signature. The key has expired.
Compare
Could not load tags
Nothing to show
{{ refName }}defaultLoading
First version of the SMPT model-checker.
Full Changelog:https://github.com/nicolasAmat/SMPT/commits/v1.0.0