next up previous
Next: Current state-of-the-art Up: Re-uniting Automatic Theorem Proving Previous: Re-uniting Automatic Theorem Proving

Description of the research project

The use of logic languages for real-life applications is becoming larger and larger, thereby requiring solid foundations of formal techniques for the analysis and verification of programs. The aim of this research project is to re-unite Automatic Theorem Proving and Logic Programming in order to introduce new and more powerful methods for proving properties of logic programs (also referred to as program verification).

David Gilbert
Thu Jun 20 09:47:49 BST 1996