Promela

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger

Citations: 798 • 2000

Formal analysis of a space-craft controller using SPIN

Klaus Havelund, M. Lowry, John Penix

Citations: 178 • 2001

Model Checking Industrial Robot Systems

Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll

Citations: 23 • 2011

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple

Citations: 12 • 2019

A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker

Gregory Horvath, Grailing Jones, Rajeev Joshi

Citations: 8 • 2009

Formal Modeling of Robot Behavior with Learning

Ryan Fraser Kirwan, Alice Miller, Bernd Porr, Paolo Di Prodi

Citations: 6 • 2013

Using Concurrency and Formal Methods for the Design of Safe Process Control

Thierry Cattel

Citations: 6 • 1996

Security-Minded Verification of Cooperative Awareness Messages

Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple

Citations: 5 • 2023

Abstraction for model checking robot behaviour

Ryan Fraser Kirwan, Alice Miller

Citations: 3 • 2011

Process Control Design Using SPIN

Thierry Cattel

Citations: 3 • 2002

Model Checking for Robotic Guided Surgery

Holger Mönnich, Jörg Raczkowsky, Heinz Wörn

Citations: 3 • 2010

SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models

Manuel Toscano-Moreno, Anthony Mandow, María Martínez, Alfonso García-Cerezo

Citations: 2 • 2024