Verifying properties of differentiable programs

DOI10.1007/978-3-319-99725-4_14MaRDI QIDQ6041173zbMATH OpenOpenAlexFDO

Authors Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99725-4_14

zbMATH Keywords

model checkingnumerical algorithmsstatic analysisformal verificationalgorithmic differentiationsymbolic execution

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

• scientific article; zbMATH DE number 2151186
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• Formal verification of numerical programs: from C annotated programs to mechanical proofs
• Trusting computations: a mechanized proof from partial differential equations to actual program
• TASS: the toolkit for accurate scientific software

Cited in

(4)

• Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
• Polycheck: dynamic verification of iteration space transformations on affine programs
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• TASS: the toolkit for accurate scientific software

This page was built for publication: Verifying properties of differentiable programs

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