Automated deduction for verification.

Natarajan Shankar

Published in: ACM Comput. Surv. (2009)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
model checking
deductive databases
verification method
inference rules
face verification
social networks
test generation
concurrent systems
neural network
formal methods
high level
knowledge base
information systems
machine learning