Testing, Verification and Improvements of Timeliness in ROS Processes.

Mohammed Y. Hazim Hongyang Qu Sandor M. Veres

Published in: TAROS (2016)

Keyphrases

formal verification
symbolic execution
model checking
test generation
real world
image sequences
process model
data sets
test set
computational models
asynchronous circuits