Verification of Qualitative Constraints.

Stéphane Demri Régis Gascon

Published in: CONCUR (2005)

Keyphrases

model checking
formal methods
real time
verification method
formal verification
signature verification
formal analysis
face verification
face images
image processing
neural network
data sets
test generation
cryptographic protocols
high security
database
concurrent systems