Modular verification of SPARCv8 code
From MaRDI portal
Publication:6166149
Recommendations
- Verifying branch-free assembly code in Why3
- Verification of safety properties for concurrent assembly code
- Modular verification of concurrent assembly code with dynamic thread creation and termination
- Hoare Logic for Realistically Modelled Machine Code
- Formalizing SPARCv8 instruction set architecture in Coq
Cited in
(5)
This page was built for publication: Modular verification of SPARCv8 code
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166149)