Verification coverage of embedded multicore applications.

Etem Deniz Alper Sen Jim Holt

Published in: DATE (2012)

Keyphrases

embedded systems
model checking
formal verification
databases
formal methods
signature verification
formal analysis
person identification
real time
machine learning
genetic algorithm
multimedia
case study
general purpose