Software verification

Combining Model Checking and Runtime Verification for Safe Robotics

Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia

Citations: 75 • 2017

Towards automatic verification of autonomous systems

Reid Simmons, Charles Pecheur, Grama R. Srinivasan

Citations: 45 • 2002

Performance Verification for Behavior-Based Robot Missions

Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Tsung-Ming Liu, Paramesh Nirmal

Citations: 26 • 2015

State/Event Software Verification for Branching-Time Specifications

Sagar Chaki, Edmund M. Clarke, Orna Grümberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith

Citations: 25 • 2005

A Combined Testing and Verification Approach for Software Reliability

Natasha Sharygina, Doron Peled

Citations: 25 • 2001

A Review of Verification and Validation for Space Autonomous Systems

Rafael C. Cardoso, Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher, Matt Webster

Citations: 24 • 2021

Automatic Verification of Autonomous Robot Missions

Matthew O’Brien, Ronald C. Arkin, Dagan Harrington, Damian M. Lyons, Shu Jiang

Citations: 19 • 2014

Towards Compositional Verification for Modular Robotic Systems

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck

Citations: 16 • 2020

Collaborative Verification-Driven Engineering of Hybrid Systems

Citations: 15 • 2014

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Citations: 14 • 2022

Collaborative Verification-Driven Engineering of Hybrid Systems

Citations: 14 • 2014

Using formal methods for autonomous systems: Five recipes for formal verification

Citations: 13 • 2021

Integrated formal verification of safety-critical software

Ning Ge, Éric Jenn, Nicolas Breton, Yoann Fonteneau

Citations: 13 • 2017

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

Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet

Citations: 13 • 2022

Static analysis techniques for robotics software verification

Agostino Cortesi, Pietro Ferrara, Nabendu Chaki

Citations: 11 • 2013

Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems

Jakub Podivínský, Ondrej Cekan, Jakub Lojda, Zdeněk Kotásek

Citations: 5 • 2016

Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines

Vladimir Estivill‐Castro, René Hexel

Citations: 5 • 2016

Reverse Engineering of Middleware for Verification of Robot Control Architectures∗

Ali Khalili, Lorenzo Natale

Citations: 5 • 2016

Runtime Verification with Imperfect Information Through Indistinguishability Relations

Angelo Ferrando, Vadim Malvone

Citations: 4 • 2022

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems

Stefan Mitsch, Grant Olney Passmore, André Platzer

Citations: 3 • 2013