Model Checking Data-Aware Workflow Properties with CTL-FO+.

Sylvain Hallé Roger Villemaire Omar Cherkaoui Boubker Ghandour

Published in: EDOC (2007)

Keyphrases

model checking
temporal properties
temporal logic
transition systems
formal verification
automated verification
computation tree logic
petri net
data flow
pspace complete
symbolic model checking
concurrent systems
bounded model checking
temporal epistemic