Skip to main content

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