Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement

MaRDI QIDQ7361598FDO

Authors Viorel Preoteasa, Ralph-Johan Back

Publication date 28 May 2010

Cites work

• An efficient machine-independent procedure for garbage collection in various list structures
• Data refinement of invariant based programs
• Encoding, decoding and data refinement
• FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• On correct refinement of programs
• Proof of correctness of data representations
• Proving pointer programs in higher-order logic

This page was built for software: Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement