Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method

Abstract

A development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. simulation and 4. code. The method is centered around the notion of wide-spectrum formalism within which an abstract Interval Temporal Logic… (More)
DOI: 10.1007/BFb0055342

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Cau1998DesigningAP, title={Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method}, author={Antonio Cau and Chris A. Czarnecki and Hussein Zedan}, booktitle={FTRTFT}, year={1998} }