Login / Signup
Mechanized Verification of Refinement.
Niels Maretti
Published in:
TPCD (1994)
Keyphrases
</>
model checking
formal methods
formal verification
real world
face verification
concurrent systems
verification method
digital libraries
refinement process
formal analysis
high security
asynchronous circuits
fingerprint verification
signature verification
real time
information technology
natural language
data sets