C

Static Analysis and Verification of C Programs by Subash Shankar, Hunter College, City University of New York. Recent years have seen the emergence of several static analysis techniques for reasoning about programs. This talk presents several major classes of techniques and tools that implement these techniques. Part of the presentation will be a demonstration of the tools.