Robotics
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.
Robotics and Autonomous Systems 159, jan 2023.
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 Semantics of the GenoM3 Framework
Verification
Robotics
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand
Research Report 19036, LAAS, jan 2019.
Research Report 19036, LAAS, jan 2019.
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Verification
Tina
Robotics
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
In FormaliSE — 6th International Conference on Formal Methods in Software Engineering, jun 2018.
In FormaliSE — 6th International Conference on Formal Methods in Software Engineering, jun 2018.
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
Verification
Fiacre
Robotics
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet
In ICFEM 2016 — 18th International Conference on Formal Engineering Methods, nov 2016.
In ICFEM 2016 — 18th International Conference on Formal Engineering Methods, nov 2016.