Verifying the heap: an {AI4FM} case study

First Author: Iain Whiteside; Leo Freitas; Cliff Jones; Andrius Velykis
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: Contributions to AI4FM 2013 (2013)

Page Reference: 7-9