Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums.

Nirmal R. Saxena Edward J. McCluskey

Published in: IEEE Trans. Computers (1990)

Keyphrases

control flow
data flow
process model
software testing
high precision
business process models
reactive systems
transition systems
expert systems
knowledge representation
object oriented
modeling language
workflow management systems