Reusable Verification of a Copying Collector.

Magnus O. Myreen

Published in: VSTTE (2010)

Keyphrases

model checking
database
fingerprint verification
concurrent systems
face verification
signature verification
formal verification
high security
website
bayesian networks
relational databases
verification method
functional verification