A System for Deduction-based Formal Verification of Workflow-oriented Software Models.

Radoslaw Klimek

Published in: CoRR (2014)

Keyphrases

formal verification
data flow
statistical models
source code
software development
model checking
software projects
workflow management systems
control flow