The AI4FM approach for automation within formal methods

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.ukcrc.org.uk/grand-challenge/gccr10-sub-20.cfm

Type: Book Chapter

Book Title: Grand Challenges in Computing Research 2010 (2010)