Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.

Raju Halder José Proença Nuno Macedo André Santos

Published in: FormaliSE@ICSE (2017)

Keyphrases

timed automata
formal verification
model checking
temporal logic
reachability analysis
model checker
automated verification
formal specification
symbolic model checking
bounded model checking
formal methods
low cost
domain specific
real time systems