Reo + mCRL2: A framework for model-checking dataflow in service compositions.

Natallia Kokash Christian Krause Erik P. de Vink

Published in: Formal Aspects Comput. (2012)

Keyphrases

model checking
temporal logic
artifact centric
finite state
formal verification
verification method
abstract interpretation
symbolic model checking
ordered binary decision diagrams
knowledge base
database systems
multi agent systems
timed automata
linear temporal logic
automated verification