Verifying Intuition - ILF Checks DAWN Proofs.

Thomas Baar Ekkart Kindler Hagen Völzer

Published in: ICATPN (1999)

Keyphrases

model checking
theorem proving
formal proofs
mathematical proofs
formal proof
theorem prover
natural deduction
image processing
multi agent
cooperative
computer programs
verification method
arithmetic constraints