Verification of Artifact-Centric Systems: Decidability and Modeling Issues.

Dmitry Solomakhin Marco Montali Sergio Tessaris Riccardo De Masellis

Published in: ICSOC (2013)

Keyphrases

artifact centric
model checking
key issues
formal methods
description logics
lightweight
temporal logic
neural network
distributed systems
learning systems
computing environments
design issues
automated verification