Pages that link to "Item:Q5898611"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898611):
Displaying 6 items.
- Certifying assembly programs with trails (Q352100) (← links)
- Certifying assembly with formal security proofs: the case of BBS (Q436406) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
