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

Active Bibliography

3 Towards Verified Systems – Jonathan P. Bowen, Jonathan Bowen (ed - 1994
1 Of What Use is a Verified Compiler Specification? – Paul Curzon - 1992
4 Axiomatic Semantics Verification of a Secure Web Server – Paul E. Black - 1998
1 Compiler Implementation Verification and Trojan Horses (Draft) – Wolfgang Goerigk, Hans Langmaack - 2000
15 Inference rules for programming languages with side effects in expressions – Paul E. Black - 1996
6 A Mechanized Hoare Logic of State Transitions – Mike Gordon - 1993
4 A Functional Approach for Formalizing Regular Hardware Structures – Dirk Eisenbiegler, Klaus Schneider, Ramayya Kumar
LVT: A Layered Verification Technique for Distributed Computing Systems – Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt - 1999
3 Experiences with Proof in a Formal Development – Denton Clutterbuck, Juan Bicarregui, Brian Matthews - 1996
1 The Importance of Proof Maintenance and Reengineering – Paul Curzon - 1995
3 A Mathematically Precise Two-Level Formal Hardware Verification Methodology – Carl-johan H. Seger, Jeffrey J. Joyce - 1992
4 A Hierarchical Method for Reasoning about Distributed Programming Languages – Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl Levitt, Ron A. Olsson - 1995
4 Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages – David Lester, Sava Mintchev - 1994
12 Specification, Verification and Prototyping of an Optimized Compiler – He Jifeng, Jonathan P. Bowen - 1994
18 Compiler Correctness and Implementation Verification: The Verifix Approach – Wolfgang Goerigk, Axel Dold, Thilo Gaul, Gerhard Goos, Andreas Heberle, Friedrich W. Von Henke, Ulrich Hoffmann, Hans Langmaack, Holger Pfeifer, Harald Ruess, Wolf Zimmermann - 1996
From Design Formulas to Parallel Implementations – Marko Kääramees, Michael R. Hansen - 1997
2 Completeness of Higher-Order Duration Calculus – Zhan Naijun - 1999
5 Using HOL to study Sugar 2.0 semantics – Michael J. C. Gordon - 2002
9 Liveness and Fairness in Duration Calculus – Jens Ulrik Skakkebaek - 1994
1 A MONA-based Decision Procedure for Propositional Interval Temporal Logic – Rodolfo Gomez, Howard Bowman - 2003