Marie-Christine Jakobs

Learn 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