Control Flow Checking or Not? (for Soft Errors).

Abhishek Rhisheekesan Reiley Jeyapaul Aviral Shrivastava

Published in: ACM Trans. Embed. Comput. Syst. (2019)

Keyphrases

control flow
data flow
process model
software testing
modeling language
workflow management systems
business process models
formal semantics
transition systems
decision making
machine learning
software engineering
reactive systems