Logical verification and equational verification.

Riccardo Pucella

Published in: SIGACT News (2005)

Keyphrases

model checking
formal verification
real time
artificial intelligence
formal analysis
signature verification
verification method
databases
computer vision
information systems
image processing
digital libraries
temporal logic
inference rules
theorem proving