Tools
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Verification
Petri
Tools
Reductions
Octant
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In VMCAI 2024 — Verification, Model Checking, and Abstract Interpretation, jan 2024.
In VMCAI 2024 — Verification, Model Checking, and Abstract Interpretation, jan 2024.
Leveraging polyhedral reductions for solving Petri net reachability problems
Verification
Petri
Reductions
Tools
Kong
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
International Journal on Software Tools for Technology Transfer 25, dec 2023.
International Journal on Software Tools for Technology Transfer 25, dec 2023.
Automated Polyhedral Abstraction Proving
Verification
Petri
Tools
Reductron
Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In Petri nets 2023 — 44th International Conference on Application and Theory of Petri Nets and Concurrency, jun 2023.
In Petri nets 2023 — 44th International Conference on Application and Theory of Petri Nets and Concurrency, jun 2023.
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.
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.
In TACAS 2022 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems, mar 2022.
Hippo: A formal-model execution engine to control and verify critical real-time systems
Verification
Tools
Robotics
Hippo
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin
Journal of Systems and Software 181, nov 2021.
Journal of Systems and Software 181, nov 2021.
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.
In ICATPN 2021 — 42nd International Conference on Application and Theory of Petri Nets and Concurrency, jun 2021.
Accelerating the Computation of Dead and Concurrent Places Using Reductions
Verification
Petri
Reductions
Tools
Kong
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format
Verification
Tools
Petri
Mcc
Silvano Dal Zilio
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
Verification
Tools
Time Petri Nets
Twina
Diagnosability
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
In FORMATS 2019 — 17th International Conference on Formal Modeling and Analysis of Timed Systems, aug 2019.
In FORMATS 2019 — 17th International Conference on Formal Modeling and Analysis of Timed Systems, aug 2019.