Ideas for a high-level proof strategy language

First Author: Cliff B. Jones; Gudmund Grov; Alan Bundy
Attributed to:  AI4FM: using AI to aid automation of proof search in Formal Methods funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: AFM'10 Automated Formal Methods (2010)