Search
Now showing items 1-1 of 1
Designing a provably correct robot control system using a "lean" formal method
(Springer, 1998)
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. ...