NICTA
UNSW
This extended abstract summarises research challenges in the application of AI to proof engineering for large-scale formal verification.
@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} }