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)
Today, software is traded worldwide on global markets, with apps being downloaded to smartphones within minutes or seconds. This poses, more than ever, the challenge of ensuring safety of software in the face of (1) unknown or untrusted software providers together with (2) resource-limited software consumers. The concept of Proof-Carrying Code (PCC), years(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