Marie-Christine Jakobs

  • Citations Per Year
Learn More
So‰ware veri€cation competitions, such as the annual SV-COMP, evaluate so‰ware veri€cation tools with respect to their e‚ectivity and eciency. Typically, the outcome of a competition is a (possibly category-speci€c) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative)(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 hardware.(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)