A formal toolchain for offline and run-time verification of robotic systems
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Mallet Anthony Robotics and Autonomous Systems 159, jan 2023.
Hippo
Hippo: A formal-model execution engine to control and verify critical real-time systems
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin Journal of Systems and Software 181, nov 2021.