A theorem proving framework for the formal verification of Web Services Composition

Petros Papapanagiotou Jacques D. Fleuriot

Published in: WWV (2011)

Keyphrases

theorem proving
formal verification
automated reasoning
web services composition
probabilistic model
parallel search
consequence finding
automated deduction
term rewriting
multi agent systems
business process
service composition
automated verification