Verifying Parallel Programs with Dynamic Communication Structures.

Mohamed Faouzi Atig Tayssir Touili

Published in: CIAA (2009)

Keyphrases

dynamic environments
neural network
data mining
model checking
communication systems
dynamically changing
parallel processing
parallel implementation
computer programs
automatic programming