Proof Verification Can Be Hard!

Naveen Sundar Govindarajulu Selmer Bringsjord

Published in: CoRR (2017)

Keyphrases

model checking
formal proof
information systems
logic programs
face verification
asynchronous circuits
linear logic
real time
information retrieval
knowledge base
image processing
theorem prover
theorem proving
formal verification
verification method