sponsors
usenix conference policies
You are here
Home » Automatic Generation of Formal Verification Properties from English Language
Automatic Generation of Formal Verification Properties from English Language
Error message
You are not authorized to post comments.Christopher Harris, University of California, Irvine
![](https://www.usenix.org/sites/all/modules/usenix/usenix_files/images/usenix-locked.png)
BibTeX
@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
}
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
}
connect with us