C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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