Extensible Technology-Agnostic Runtime Verification

Christian Colombo Adrian Francalanza Ruth Mizzi Gordon J. Pace

Published in: FESCA (2013)

Keyphrases

model checking
object oriented
rapid development
cost effective
data processing
formal verification
neural network
technological advances
general purpose
face recognition
case study
data types
data model
markup language
information systems
signature verification
machine learning