J.D. Fleuriot. A generic approach to proof planning (case for support). EPSRC grant proposal GR/N37414, 2000. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Proof System for Correct Program Development - Fourman, Fleuriot, Longley (2000) Self-citation (Fleuriot) (Correct)
....of choosing the right loop invariants when verifying imperative programs. It is precisely in this area of inductive proof and of constructing a correct proof out of previous failed attempts that work on proof planning has specialized. Fleuriot has recently proposed an EPSRC funded project [Fle00] to develop a generic proof planning system by integrating Isabelle with the # Clam proof planner [RSG98] developed at Edinburgh by Bundy, Richardson et al. The present project will complement this by applying this system to a particular target logic and testing it on some hard application ....
J.D. Fleuriot. A generic approach to proof planning (case for support). EPSRC grant proposal GR/N37414, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC