Runtime Verification of Scientific Computing: Towards an Extreme Scale.

Minh Ngoc Dinh Chao Jin David Abramson Clinton L. Jeffery

Published in: ESPT@SC (2016)

Keyphrases

scientific computing
high performance computing
model checking
file system
distributed memory
workflow management
formal methods
computer systems
formal specification
case study
data warehouse
knowledge acquisition
mobile agents
computing systems
shared memory