Trustworthy Systems

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,
    title            = {Proof Engineering Challenges for Large-Scale Verification},
    month            = may,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8066.pdf},
    booktitle        = {AI4FM/2014 Workshop},
    author           = {Klein, Gerwin},
    year             = {2014},
    keywords         = {proof engineering, sel4, isabelle/hol}
  }

Download