All programs that we developed or maintain are 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.