Marie-Christine Jakobs

Learn More
Sooware veriication competitions, such as the annual SV-COMP, evaluate sooware veriication tools with respect to their eeectivity and eeciency. Typically, the outcome of a competition is a (possibly category-speciic) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative)(More)
Software verification is an established method to ensure software safety.N evertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory,or the technique is not mature enough to verify the property.Often then discarding the partial verification ,the validation process proceeds with techniques like testing.(More)
Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing for hardware which only carries out " approximately correct " calculations. For software verification, this challenges the validity of verification results for programs run on approximate(More)
  • 1