Formalizing Structured Control Flow Graphs.

Amit Sabne Putt Sakdhnagool Rudolf Eigenmann

Published in: LCPC (2016)

Keyphrases

control flow
data flow
software testing
process model
transition systems
business process models
graph matching
reactive systems
workflow management systems
structured data
directed graph
modeling language
database
graph databases
formal semantics
weighted graph
memory hierarchy
database systems
real world