Pages that link to "Item:Q2864404"
From MaRDI portal
The following pages link to CC(X): Semantic Combination of Congruence Closure with Solvable Theories (Q2864404):
Displaying 8 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Combining Coq and Gappa for Certifying Floating-Point Programs (Q3637269) (← links)
- Rocket-Fast Proof Checking for SMT Solvers (Q5458346) (← links)
- Multi-Prover Verification of Floating-Point Programs (Q5747756) (← links)