Automatic Generation of Formal Verification Properties from English Language

@inproceedings {187550,
author = {Christopher Harris},
title = {Automatic Generation of Formal Verification Properties from English Language},
booktitle = {2014 Workshop on Supporting Diversity in Systems Research (Diversity 14)},
year = {2014},
address = {Broomfield, CO},
url = {https://www.usenix.org/conference/diversity14/workshop-program/presentation/harris},
publisher = {USENIX Association},
month = oct
}