Verification

A formal toolchain for offline and run-time verification of robotic systems

Verification Robotics Fiacre Hippo

Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Mallet Anthony Robotics and Autonomous Systems 159, jan 2023.

A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking

Verification Petri Reductions

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio Fundamenta Informaticae 187(2-4), oct 2022.

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.

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.

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.

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.

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus

Verification Patterns Time Petri Nets

Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang Science of Computer Programming 206, apr 2021.

↑