SMPT

SMPT: A Testbed for Reachability Methods in Generalized Petri Nets

Verification Petri Tools SMPT Reductions

Nicolas Amat, Silvano Dal Zilio In FM 2023 — 25th International Symposium on Formal Methods, mar 2023.

Property Directed Reachability for Generalized Petri Nets

Verification Tools SMPT Petri Reductions

Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa In TACAS 2022 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems, mar 2022.

On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets

Verification Tools SMPT Reductions Petri

Nicolas Amat, Silvano Dal Zilio, Bernard Berthomieu In ICATPN 2021 — 42nd International Conference on Application and Theory of Petri Nets and Concurrency, jun 2021.

↑