Runtime Verification of Scientific Codes Using Statistics.

Minh Ngoc Dinh David Abramson Chao Jin

Published in: ICCS (2016)

Keyphrases

artificial intelligence
error correction
model checking
scientific discovery
scientific data
statistical information
verification method
neural network
real world
data mining
petri net
formal verification
error correcting codes
asynchronous circuits