Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction.

Pavel Gonzalez Andreas Griesmayer Alessio Lomuscio

Published in: ICSOC (2015)

Keyphrases

artifact centric
model checking
complex systems
high level
end to end
database
face recognition
multi agent systems
expert systems
management system
low cost
distributed systems
computer systems
mobile agents
computing environments
multimodal biometrics