When are software verification results valid for approximate hardware?

DOI10.1007/978-3-030-31157-5_1zbMATH Open1539.68065MaRDI QIDQ6536166FDOQ6536166

Authors: Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim 

Publication date: 5 April 2024

Recommendations

• Verifying relative safety, accuracy, and termination for program approximations
• The complexity of error metrics
• Probabilistic model of software approximate correctness
• Randomized accuracy-aware program transformations for efficient approximate computations
• Verified approximation algorithms

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Abstractions from proofs
• Title not available (Why is that?)
• Verification of sequential and concurrent programs
• Verifying relative safety, accuracy, and termination for program approximations
• Maximal specification synthesis
• Small Witnesses for Abstract Interpretation-Based Proofs

This page was built for publication: When are software verification results valid for approximate hardware?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536166)