Towards Formal Verification of Orchestration Computations Using the 핂 Framework.

Musab A. AlTurki Omar Alzuhaibi

Published in: FM (2015)

Keyphrases

formal verification
data sets
main contribution
model checking
web services
case study
software engineering
lightweight
conceptual framework