Verification of Artifact-Centric Systems: Decidability and Modeling Issues

Dmitry Solomakhin Marco Montali Sergio Tessaris Riccardo De Masellis

Published in: CoRR (2013)

Keyphrases

artifact centric
model checking
data sets
information retrieval
description logics
temporal logic
neural network
computer systems
complex systems
formal verification
technical issues
database
management system
learning systems
key issues
automated verification