A Mechanized Error Analysis Framework for End-To-End Verification of Numerical Programs [electronic resource]
- 주제(키워드) Numerical methods , Formal verification , Floating-point analysis , Stationary iterative methods , Coq proof assistant , Program correctness
- 발행기관 University of Michigan
- 발행년도 2023
- 학과 및 전공 Aerospace Engineering
- ISBN 9798380373487
- UCI I804:11009-000000284523
- DOI 10.23186/korea.000000284523.11009.0001433
- 제출원본 PQDT30748222
