Software

(Copyrighted as free software.)

1. CPAchecker: Configurable Software Verification.
   Principal designer, architect, implementation, and maintenance.
   
   
2. Blast: Model Checking of Software.
   Contributor, conceptual extensions, implementation, and maintenance.
   
   
3. CSIsat: A Tool for LA+EUF Interpolation.
   Contributor and designer.
   
   
4. CrocoPat: Simple and Efficient Relational Querying and Manipulation.
   Principal designer and implementer.
   
   
5. CCVisu: Automatic Software Decomposition and Structure Assessment.
   Principal designer and implementer.
   
   
6. Chic: Checking Software Interface Compatibility.
   Contributor, new formalism, and verification algorithm.
   
   
7. Rabbit: Verification of Real-Time Systems.
   Principal designer and implementer.
   
   

This document was translated from L^AT_EX by H^EV^EA.