Control-Flow Checking Using Branch Instructions.

Mostafa Jafari-Nodoushan Seyed Ghassem Miremadi Alireza Ejlali

Published in: EUC (1) (2008)

Keyphrases

control flow
data flow
process model
software testing
modeling language
business process models
transition systems
database
real world
high level
open source
model checking
formal semantics
reactive systems