PASSERT: a tool for debugging parallel programs

Author

Daniel Schwartz-Narbonne, Feng Liu, David August, Sharad Malik

Publication Year

2012

Type

Conference Paper

Conference Name

Computer Aided Verification

Publisher

Springer Berlin/Heidelberg