Key points are not available for this paper at this time.
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, LCLint reports inconsistencies between a program and its specification. We also describe our experience using LCLint to help understand, document, and re-engineer legacy code.
Building similarity graph...
Analyzing shared references across papers
Loading...
Evans et al. (Thu,) studied this question.
synapsesocial.com/papers/6a152f0a79ff98d0de4e3657 — DOI: https://doi.org/10.1145/193173.195297
David Evans
Cardiff University
John V. Guttag
Cross-Cutting Cardiology
James J. Horning
Advanced Research Projects Agency - Energy
Building similarity graph...
Analyzing shared references across papers
Loading...