Widening for Control-Flow.

Ben Hardekopf Ben Wiedermann Berkeley R. Churchill Vineeth Kashyap

Published in: VMCAI (2014)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
transition systems
reactive systems
knowledge base
business process models
data sets
modeling language