An Overview of Semantics for the Validation of Numerical Programs
No abstract available.
Related papers
- Competition on Software Verification and Witness Validation: SV-COMP 2023 TACAS 2023
- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants SAS 2016
- Alive2: bounded translation validation for LLVM PLDI 2021
- Scalable formal design methods for asynchronous VLSI POPL 2002
- PSF: A Generic and Extensible Framework for Protocol State Fuzzing CAV 2026
- State of the Art in Software Verification and Witness Validation: SV-COMP 2024 TACAS 2024
- Translation Validation for LLVM's AArch64 Backend OOPSLA 2025
- Bean: A Language for Backward Error Analysis PLDI 2025