Proof engineering challenges for large-scale verification
Authors
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} }