Runtime Verification of Scientific Computing: Towards an Extreme Scale.

Minh Ngoc Dinh, Chao Jin, David Abramson, Clinton L. Jeffery

Browse the full SC paper archive.