Pages that link to "Item:Q5747653"

The following pages link to A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture (Q5747653):

Displaying 9 items.

• Automatic generation and validation of instruction encoders and decoders (Q832306) (← links)
• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (Q2031429) (← links)
• Parameterized synthesis for fragments of first-order logic over data words (Q2200816) (← links)
• Formal reasoning under cached address translation (Q2209539) (← links)
• Safe functional systems through integrity types and verified assembly (Q2220814) (← links)
• From Sets to Bits in Coq (Q2798253) (← links)
• Improved Tool Support for Machine-Code Decompilation in HOL4 (Q2945632) (← links)
• Lem: A Lightweight Tool for Heavyweight Semantics (Q3088021) (← links)
• Highly Automated Formal Proofs over Memory Usage of Assembly Code (Q5164171) (← links)