Dynamic Verification of Hybrid Programs.

Wei-Fan Chiang Grzegorz Szubzda Ganesh Gopalakrishnan Rajeev Thakur

Published in: EuroMPI (2010)

Keyphrases

dynamic environments
model checking
real time
data sets
image segmentation
expert systems
machine learning
image processing
decision trees
high level
asynchronous circuits
symbolic execution
concurrent systems