Software

(Copyrighted as free software.)

1. Blast: Model Checking of Software.
   Contributor, conceptual extensions, implementation, and maintenance.
   
   
2. CCVisu: Visual Clustering and Software-Structure Assessment.
   Principal designer and implementer.
   
   
3. CheckDep: Tracking Software Dependencies.
   Principal designer, architect, and maintenance.
   
   
4. Chic: Checking Interface Compatibility.
   Contributor, new formalism, and verification algorithm.
   
   
5. CPAchecker: Configurable Software Verification.
   Principal designer, architect, implementation, and maintenance.
   
   
6. CrocoPat: Relational Programming (for Software-Structure Analysis).
   Principal designer and implementer.
   
   
7. CSIsat: Interpolation for LA+EUF.
   Contributor and designer.
   
   
8. DepDigger: Detecting Complex Low-Level Dependencies.
   Principal designer, architect, and maintenance.
   
   
9. Rabbit: Verification of Real-Time Systems.
   Principal designer and implementer.
   
   

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