Login / Signup

Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification.

David CyrlukMandayam K. Srivas
Published in: ICCD (1995)
Keyphrases
  • theorem proving
  • theorem prover
  • parallel search
  • first order logic
  • automated reasoning
  • decision procedures
  • proof planning
  • machine learning
  • expert systems
  • geometry theorem proving