111
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...