Dynamic verification of Multicore Communication applications in MCAPI.

Subodh Sharma Ganesh Gopalakrishnan Eric Mercer

Published in: HLDVT (2009)

Keyphrases

dynamic environments
communication networks
data sets
databases
neural network
website
data processing
model checking
communication systems
formal methods