3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"
software-web

Software

(Copyrighted as free software.)

  1. BenchExec: Reliable benchmarking and resource measurement, 2015.
    https://github.com/dbeyer/BenchExec
  2. Blast: Model checking of software, 2002.
    http://www.sosy-lab.org/~dbeyer/Blast/
  3. CCVisu: Visual clustering and software-structure assessment, 2005.
    http://www.sosy-lab.org/~dbeyer/CCVisu/
  4. CheckDep: Tracking software dependencies, 2010.
    http://www.sosy-lab.org/~dbeyer/CheckDep/
  5. Chic: Checking interface compatibility, 2004.
    http://www.sosy-lab.org/~dbeyer/Chic/
  6. CPAchecker: Configurable software verification, 2007.
    http://www.sosy-lab.org/~dbeyer/CPAchecker/
  7. CrocoPat: Relational programming (for software-structure analysis), 2003.
    http://www.sosy-lab.org/~dbeyer/CrocoPat/
  8. CSIsat: Interpolation for LA+EUF, 2008.
    http://www.sosy-lab.org/~dbeyer/CSIsat/
  9. DepDigger: Detecting complex low-level dependencies, 2010.
    http://www.sosy-lab.org/~dbeyer/DepDigger/
  10. JavaSMT: A unified interface for SMT solvers in Java, 2015.
    https://github.com/sosy-lab/java-smt
  11. Rabbit: Verification of real-time systems, 1998.
    http://www.sosy-lab.org/~dbeyer/Rabbit/

© Dirk Beyer
This document was translated from LATEX by HEVEA.