Login / Signup
Task level specification and formal verification of robotics control systems: state of the art and case study.
Konstantinos Kapellos
Daniel Simon
M. Jourdant
Bernard Espiau
Published in:
Int. J. Syst. Sci. (1999)
Keyphrases
</>
formal verification
case study
model checking
control system
model checker
automated verification
bounded model checking
higher level
computer vision
robotic systems
symbolic model checking
program slicing
software engineering
software development
design process
formal specification