PTYASM: Software model checking with proof templates

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 479-480

  Hart, Thomas E ^a   Ku, Kelvin ^a   Gurfinkel, Arie ^b   Chechik, Marsha ^a   Lie, David ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOOP UNROLLING; PROGRAMMING IDIOMS; SOFTWARE MODEL CHECKERS; SOFTWARE MODEL CHECKING;

SOFTWARE ENGINEERING;

MODEL CHECKING;

EID: 56249086508     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.80     Document Type: Conference Paper

References (9)

1. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner, "Thorough Static Analysis of Device Drivers," in Proc. EuroSys'06, 2006, pp. 73-85.
2. T. E. Hart, K. Ku, M. Chechik, D. Lie, and A. Gurfinkel, "Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates," in Proc. ASE'08, 2008.
3. K. Ku, T. E. Hart, M. Chechik, and D. Lie, "A Buffer Overflow Benchmark for Software Model Checkers," in Proc. ASE'07, 2007, pp. 389-392.
4. G. Necula, S. McPeak, S. Rahul, and W. Weimer, "CIL: Intermediate Language and Tools for Analsysis and Transformation of C Programs," in Proc. CC'02, ser. LNCS 2304, 2002, pp. 213-228.
5. A. Gurfinkel, O. Wei, and M. Chechik, "YASM.: A Software Model-Checker for Verification and Refutation," in Proc. CAV06, ser. LNCS 4.144, 2006, pp. 170-174.
6. S. Muchnick, Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
7. N. Dor, M. Rodeh, and S. Sagiv, "CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C," in Proc. PLDI '03, 2003, pp. 155-167.
8. E. Denney and B. Fischer, "Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)," in Proc. ASE '06, pp. 265-268.
9. D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, "Path Invariants," in Proc. PLDI'07, 2007, pp. 300-309.