Hardware-Dependent Proofs of Numerical Programs
No abstract available.
DOI 10.1007/978-3-642-25379-9_23
Related papers
- Coquet: A Coq Library for Verifying Hardware CPP 2011
- A Typing Discipline for Hardware Interfaces ECOOP 2019
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems CAV 2019
- Abstract Dependency Graphs and Their Application to Model Checking TACAS 2019
- The essence of Bluespec: a core language for rule-based hardware design PLDI 2020
- Trustworthy numerical computation in Scala OOPSLA 2011
- Typing Algorithm in Type Theory with Inheritance POPL 1997
- Automating Most Parts of Hardware Proofs in HOL CAV 1991