CIL: Intermediate language and tools for analysis and transformation of C programs

George C. Necula, Scott McPeak, Shree P. Rahul, Westley Weimer
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Compiler Construction
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 213-228
2002
Note(s): CIL tool

BLAST verifier, CIL tool, CPAchecker verifier