Proof engineering challenges for large-scale verification

Authors

Gerwin Klein

NICTA

UNSW

Abstract

This extended abstract summarises research challenges in the application of AI to proof engineering for large-scale formal verification.

BibTeX Entry

  @misc{Klein_14_2,
    author           = {Klein, Gerwin},
    month            = may,
    year             = {2014},
    keywords         = {proof engineering, sel4, isabelle/hol},
    title            = {Proof Engineering Challenges for Large-Scale Verification},
    booktitle        = {AI4FM/2014 Workshop}
  }

Download

• Full text
• BibTeX