Embedded software verification: challenges and solutions.

Chao Wang Malay K. Ganai Shuvendu K. Lahiri Daniel Kroening

Published in: ICCAD (2008)

Keyphrases

lessons learned
key issues
special case
neural network
real world
embedded systems
data mining
machine learning
case study
optimal solution
scheduling problem
feasible solution
solution space
benchmark problems
watermarking algorithm
practical solutions