ISP Tool Update: Scalable MPI Verification.

Anh Vo Sarvani S. Vakkalanka Ganesh Gopalakrishnan

Published in: Parallel Tools Workshop (2009)

Keyphrases

website
general purpose
lightweight
model checking
message passing
neural network
software tools
formal verification
real time
genetic algorithm
parallel algorithm
user friendly
temporal logic
web scale
verification method