Notes related to CIL: Intermediate language and tools for analysis and transformation of C programs
BLAST verifier, CIL tool, CPAchecker verifier
Papers related to CIL: Intermediate language and tools for analysis and transformation of C programs
- Software verification with BLAST [henzinger:spin:2003]