On the Benefits of Using the Up-To Techniques for Bisimulation Verification.

Daniel Hirschkoff

Published in: TACAS (1999)

Keyphrases

model checking
formal verification
databases
special case
face verification
database
data sets
feature selection
information technology
formal analysis
asynchronous circuits
functional verification