Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtěch Forejt‚ Daniel Kroening‚ Ganesh Narayanaswamy and Subodh Sharma
Book Title
International Symposium on Formal Methods (FM)
Year
2014
Vojtěch Forejt‚ Daniel Kroening‚ Ganesh Narayanaswamy and Subodh Sharma