ISP: A Tool for Model Checking MPI Programs
Sarvani S. Vakkalanka‚ Subodh Sharma‚ Ganesh Gopalakrishnan and Robert M. Kirby
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Editor
Chatterjee‚ Siddhartha and Scott‚ Michael L.
ISBN
978−1−59593−795−7
Keywords
dynamic partial order reduction‚ formal verification‚ model checking‚ MPI
Pages
285–286
Publisher
ACM
Series
PPoPP '08
Year
2008