Software and Computational Systems Lab

• 

  CPAchecker

  The Configurable Software-Verification Platform

• BenchExec

  A Framework for Reliable Benchmarking and Resource Measurement

• JavaSMT

  A unified Java API for SMT solvers

• CondTest

  Components for conditional testing

• CoVeriTeam

  A tool for on-demand composition of cooperative verification systems

• CPU Energy Meter

  A tool for measuring energy consumption of (Intel) CPUs

• llvm-j

  A Java library for parsing and modifying LLVM IR

• MetaVal

  A validator for witness-based result validation

• PJBDD

  A parallel BDD library, based on ideas from Sylvan, written in Java

• PRTest

  A plain random tester. Random test generation for C programs

• pybib2web

  Takes your bibliography files and turns them into categorized and indexed HTML pages

• TestCov

  Robust test execution, coverage measurement and test-suite reduction for C

• Btor2C

  A translator from word-level verification tasks in the Btor2 format to C programs

Past Projects

• Blast

  A software model checker for C programs

• CCVisu

  A light-weight tool for force-directed graph layout

• CheckDep

  A diff-tool on the dependency level for tracking software dependencies

• Chic

  A modular verifier for behavioral compatibility checking of software and hardware components

• CrocoPat

  A tool for simple and efficient relational programming

• CSISat

  An interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols

• DepDigger

  An Eclipse plug-in that identifies complex data-flow dependencies on the code level

• 

  Rabbit

  A tool for BDD-based verification of real-time systems

• TBF

  A framework for using test case generators to locate errors in C programs