PAPERS

Title:A Tool for Checking ANSI-C Programs
Links:Document as PDF
Authors:Edmund Clarke EMail
Daniel Kroening EMail
Flavio Lerda
Remarks:
Topics:

Bibtex:

@inproceedings{ckl2004,
  AUTHOR    = { Clarke, Edmund
                and Kroening, Daniel
                and Lerda, Flavio },
  TITLE     = { A Tool for Checking {ANSI-C} Programs },
  BOOKTITLE = { Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) },
  YEAR      = { 2004 },
  PUBLISHER = { Springer },
  PAGES     = { 168--176 },
  ISBN      = { 3-540-21299-X },
  SERIES    = { Lecture Notes in Computer Science },
  VOLUME    = { 2988 },
  EDITOR    = { Kurt Jensen and Andreas Podelski },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.