PtYasm: Software Model Checking with Proof Templates
0 Comments
by Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel
Reference:
Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel, “PtYasm: Software Model Checking with Proof Templates”, In The Tools Track of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008.
Bibtex Entry:
@string{ase08tools="The Tools Track of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE)"}
@inproceedings{hart:ASE2008tools,
author = {Thomas E. Hart and Kelvin Ku and David Lie and Marsha Chechik and Arie Gurfinkel},
title = {{PtYasm}: Software Model Checking with Proof Templates},
booktitle = ASE08TOOLS,
month = sep,
year = 2008,
url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_ase08_tool.pdf},
note = {(Acceptance: 34/208, 12\%)}
}