State transition assertions: a case study (1994)

Cached

Download Links

by Michael J. C. Gordon
Venue:JONATHAN P. BOWEN (EDITOR), TOWARDS VERIFIED SYSTEMS, REAL-TIME SAFETY CRITICAL SYSTEMS SERIES
Citations:3 - 1 self

Documents Related by Co-Citation

474 Programming from Specifications – C Morgan - 1994
466 The Science of Programming – David Gries - 1987
2 A Hoare-like Proof System for Run-time Analysis of Programs – H R Nielson - 1987
1 Programming Language Theory and its – M J C Gordon - 1988
1 Automatic Program Verification III: A Methodology for Verifying Programs – F W von Henke, Luckham - 1974
11 Ten years of Hoare’s logic: A survey - part 1 – Krzysztof R Apt - 1981
49 The synthesis of loop predicates – B Wegbreit - 1974
28 Mechanical Proofs about Computer Programs – Donald I. Good - 1984
638 Systematic Software Development Using VDM – Cli B Jones - 1990
38 A hardware semantics based on temporal intervals – J Halpern, Z Manna, B Moszkowski - 1983
1352 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
182 Isabelle: The next 700 theorem provers – L C Paulson - 1990
58 Mechanizing Programming Logics in Higher Order Logic – Michael J. C. Gordon - 1989
43 Introduction to HOL: a theorem-proving environment for higher-order logic – M J C Gordon, T F Melham - 1993
2 Experiences with delay until for avionics computers – V Blázquez, L Redondo, J L Freniche - 1992
3 Portable, parallelizing pascal compiler – E Gabber, A Averbuch, A Yehudai - 1993
1 State transition assertions: A case study. Draft chapter for Towards Verified Systems edited by – M J C Gordon - 1993
4 Compositional verification of distributed real-time systems – J Hooman - 1990
4 Nielson: Forced Transformations of Occam Programs – F Nielson, H R Nielson - 1992