Refinement-Based Verification for Possibly-Cyclic Lists.

Alexey Loginov Thomas W. Reps Mooly Sagiv

Published in: Program Analysis and Compilation (2006)

Keyphrases

model checking
formal verification
fingerprint verification
asynchronous circuits
verification method
information retrieval
digital libraries
high security
functional verification