"On the Fly" Verification of Behavioural Equivalences and Preorders.

Jean-Claude Fernandez Laurent Mounier

Published in: CAV (1991)

Keyphrases

connected components
model checking
formal verification
data sets
face verification
formal methods
verification method
database
real time
databases
machine learning
clustering algorithm
image segmentation
data structure
relational algebra
high security