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:
@inproceedings{hart:ASE2008tools,
author = "Hart, Thomas E. and Ku, Kelvin and Lie, David and Chechik, Marsha and Gurfinkel, Arie",
title = "{PtYasm}: Software Model Checking with Proof Templates",
booktitle = "The Tools Track of the 23rd {IEEE/ACM} International Conference on Automated Software Engineering ({ASE})",
month = "September",
year = "2008",
url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_ase08_tool.pdf",
note = "(Acceptance: 34/208, 12\%; 6 citations)",
citations = "6",
gsid = "16349539481156314555"
}