Efficient Verification Solutions for Message Passing Systems
S. Sharma and G. Gopalakrishnan
Book Title
2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)
ISBN
978−1−61284−425−1
Keywords
Algorithm design and analysis‚ computational complexity‚ dynamic verification schedulers‚ dynamic verification tools‚ efficient verification solutions‚ Explosions‚ formal verification‚ interleaving explosion‚ message passing‚ message passing interface‚ message passing systems‚ Monte Carlo methods‚ MPI API‚ nondeterministic communication‚ Schedules‚ scheduling‚ System recovery‚ Testing‚ verification complexity
Month
may
Pages
2026–2029
Year
2011