Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-31424-7_61
Title: TRACER: A symbolic execution tool for verification
Authors: Jaffar, J. 
Murali, V.
Navas, J.A.
Santosa, A.E.
Issue Date: 2012
Source: Jaffar, J.,Murali, V.,Navas, J.A.,Santosa, A.E. (2012). TRACER: A symbolic execution tool for verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7358 LNCS : 758-766. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-31424-7_61
Abstract: We present TRACER, a verifier for safety properties of sequential C programs. It is based on symbolic execution (se) and its unique features are in how it makes se finite in presence of unbounded loops and its use of interpolants from infeasible paths to tackle the path-explosion problem. © 2012 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/41102
ISBN: 9783642314230
ISSN: 03029743
DOI: 10.1007/978-3-642-31424-7_61
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

28
checked on Dec 11, 2017

Page view(s)

63
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.