A Formal Verification of the Integration of Activity and Goal-Based Workflows.

António Rito Silva

Published in: EDOC Workshops (2020)

Keyphrases

formal verification
model checking
model checker
bounded model checking
program slicing
data integration
symbolic model checking
automated verification
artificial intelligence
web services
dynamic programming
formal specification
automated reasoning
workflow management