The following pages link to A. C. J. Fox (Q172359):
Displaying 10 items.
- Improved Tool Support for Machine-Code Decompilation in HOL4 (Q2945632) (← links)
- LCF-Style Bit-Blasting in HOL4 (Q3088019) (← links)
- Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL (Q3100212) (← links)
- Hoare Logic for ARM Machine Code (Q3508532) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- CHERI Concentrate: Practical Compressed Capabilities (Q5211703) (← links)
- Algebra and Coalgebra in Computer Science (Q5492820) (← links)
- A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture (Q5747653) (← links)
- Algebraic models of correctness for microprocessors (Q5930075) (← links)
- Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification (Q6572558) (← links)