Procedure-modular verification of control flow safety properties.

Siavash Soleimanifard Dilian Gurov Marieke Huisman

Published in: FTfJP@ECOOP (2010)

Keyphrases

control flow
data flow
case study
process model
reactive systems
cooperative
model checking
real world
decision making
data structure
modeling language
workflow management systems
business process models
transition systems