CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination.
John MoondanosCarl-Johan H. SegerZiyad HannaDaher KaissPublished in: CAV (2001)
Keyphrases
- false negative
- false positives
- false negative rate
- low false positive rate
- low rate
- detection rate
- model checking
- number of false positives
- false positive rate
- face verification
- verification method
- false alarms
- expert systems
- case study
- data mining
- signature verification
- high rate
- formal verification
- neural network
- functional verification
- interactive dynamic influence diagrams
- true positive
- database
- high security
- intrusion detection
- distributed systems
- artificial intelligence
- databases