Virtual Theories (1995)

Cached

Download Links

by Paul Curzon
Venue:In Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications, Lecture Notes in Computer Science
Citations:3 - 2 self

Documents Related by Co-Citation

502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
15 Recording and Checking HOL Proofs – Wai Wong - 1995
31 The Formal Verification of the Fairisle ATM Switching Element – P Curzon - 1994
26 The Formal Verification of Generic Interpreters – P J WINDLEY - 1990
8 Experiences formally verifying a network component – Paul Curzon - 1994
13 Tracking design changes with formal machine-checked proof – Paul Curzon - 1995
8 The formal veri cation of the Fairisle ATM switching element: an overview – Paul Curzon - 1994
58 Fairisle: An ATM network for the local area – I M Leslie, D R McAuley - 1991
7 Dependent types and formal synthesis – F K Hanna, N Daeche - 1992
23 A New Interface for HOL - Ideas, Issues and Implementation – Donald Syme - 1995
2 The formal veri cation of generic interpreters – P J Windley, K Levitt, G C Cohen - 1991
2 A Note on Interactive Theorem Proving with Theorem Continuation Functions – Ching-tsun Chou - 1992
6 The Implementation and Use of Abstract Theories in HOL – Elsa L Gunter - 1990
4 Tracking Design Changes with Formal Verification – Paul Curzon - 1994
2 A parameterized proof manager – Konrad Slind - 1994
7 Developing an Interface for HOL – S Kalvala - 1991
15 Deriving correctness properties of compiled code – P Curzon - 1992
14 Formal Verification of an Interactive Consistency Algorithm for the Draper FTP . . . – Patrick Lincoln, John Rushby - 1994
19 Abstract theories in HOL – Phil Windley