book chapterLecture notes in computer scienceJan 1, 2004Closed access

A Tool for Checking ANSI-C Programs

EMEdmund M. ClarkeDKDaniel KroeningFLFlavio Lerda

Carnegie Mellon University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,383
total citations
FWCI
30.01
Percentile
100%
References
8
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Computer science
  • Debugger
  • Programming language
  • ANSI C
  • Pointer (user interface)
  • Usability
  • Model checking
  • TRACE (psycholinguistics)
No related works found for this paper.