When are software verification results valid for approximate hardware?

DOI10.1007/978-3-030-31157-5_1MaRDI QIDQ6536166zbMATH OpenFDO

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

Publication date 5 April 2024

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• Abstractions from proofs
• Maximal specification synthesis
• Small Witnesses for Abstract Interpretation-Based Proofs
• Verification of sequential and concurrent programs
• Verifying relative safety, accuracy, and termination for program approximations

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)