Login / Signup
Logic Column 12: Logical Verification and Equational Verification
Riccardo Pucella
Published in:
CoRR (2005)
Keyphrases
</>
asynchronous circuits
verification method
formal verification
model checking
formal methods
probabilistic logic
signature verification
model checker
false acceptance rate
machine learning
information retrieval
modal logic
face verification