Runtime Verification using VALOUR.

Shaun Azzopardi Christian Colombo Jean-Paul Ebejer Edward Mallia Gordon J. Pace

Published in: RV-CuBES (2017)

Keyphrases

model checking
data sets
face verification
signature verification
formal verification
databases
information technology
digital images
formal analysis
concurrent systems