Control-flow checking using watchdog assists and extended-precision checksums.

Nirmal R. Saxena Edward J. McCluskey

Published in: FTCS (1989)

Keyphrases

control flow
data flow
process model
software testing
high precision
workflow management systems
transition systems
decision making
formal semantics
business process models
decision trees
modeling language
reactive systems