A Mechanized Hoare Logic of State Transitions (1993)

by Mike Gordon
Citations:6 - 0 self

Active Bibliography

Towards Veri ed Systems OVERVIEW – Jonathan Bowen (ed - 1993
3 Towards Verified Systems – Jonathan P. Bowen, Jonathan Bowen (ed - 1994
6 Tracing the Origins of Verification Conditions – Ranan Fraer, Ranan Fraer - 1996
7 A Knowledge-based Approach to the Analysis of Loops – Salwa K. Abd-el-hafiz, E Computer Society, Victor R. Basili - 1996
36 Modular Data Structure Verification – Martin C. Rinard - 2007
1 A Method for Documenting Code Components – Victor R. Basili, Salwa K. Abd-el-hafiz
11 The HOL Verification of ELLA Designs – Richard Boulton, Mike Gordon, John Herbert, John Van Tassel - 1991
Winskel is (almost) Right – Towards Mechanized Semantics, Tobias Nipkow - 1996
2 Simple Network Protocol Simulation within Maude – Ian A. Mason, Carolyn L. Talcott
The Strategy Challenge in SMT Solving – Leonardo De Moura, Grant Olney Passmore
Additional Key Words and Phrases: Stream circuits – Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva, Queen Mary
1 Hoare Logic in the Abstract – Ursula Martin, Erik A. Mathiesen, Paulo Oliva
7 The Underlying Logic of Hoare Logic – Andreas Blass, Yuri Gurevich - 1997
5 Inadequacy of Computable Loop Invariants – Andreas Blass, Yuri Gurevich - 2001
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
8 A Mechanized Theory of the pi-calculus in HOL – T. F. Melham - 1992
7 Using CARE to Construct Verified Software – Peter Lindsay, Peter Lindsay, David Hemer, David Hemer - 1997
5 The Care method of verified software development – Peter A. Lindsay - 1995
9 A Template-Based Approach to Construction of Verified Software – Peter A. Lindsay, David Hemer - 1996