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

Active Bibliography

1 The Importance of Proof Maintenance and Reengineering – Paul Curzon - 1995
3 Problems Encountered in the Machine-assisted Proof of Hardware – Paul Curzon - 1994
11 Merging HOL with Set Theory -- preliminary experiments – Mike Gordon - 1994
48 Little Theories – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992
13 Modular Reasoning in Isabelle – Florian Kammüller - 1999
Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric – Paul Curzon , Sofiène Tahar , Jianping Lu - 1999
1 The Impact of Design Changes on Verification Using MDGs – M. Hasan Zobair, Sofiène Tahar, Paul Curzon - 1999
3 A Comparison of MDG and HOL for Hardware Verification – Sofiène Tahar, Paul Curzon - 1996
1 Conclusions from a Study to Verify a Real Network Component – Paul Curzon, Ian Leslie, Mike Gordon - 1995
Importing the Results of Automatic Hardware Verification into HOL – Haiyan Xiong, Paul Curzon, Sofiene Tahar - 1999
3 Importing MDG Verification Results into HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar
3 COMPARING HOL AND MDG: A CASE STUDY ON THE VERIFICATION OF AN ATM SWITCH FABRIC – Sofiene Tahar , Paul Curzon - 1998
3 A Comparison of the Coq and HOL Proof Systems for Specifying Hardware – Line Jakubiec, Solange Coupet-Grimal, Paul Curzon - 1997
23 Formalized mathematics – John Harrison - 1996
In \Automated Reasoning: Bridging the Gap Between Theory and Practice", – Paul Curzon, Ian Leslie, Mike Gordon, Edited Andrew Irel - 1995
2 Generating Graphical User Interfaces in a Functional Setting – Kolyang, C. Lüth, T. Meyer, B. Wolff - 1996
2 Generic Interfaces for Transformation Systems and Interactive Theorem Provers (Extended Abstract) – Kolyang, C. Luth, T. Meyer, B. Wolff - 1996
6 Program Derivation Using the Refinement Calculator – Michael Butler, Thomas Långbacka - 1996
2 Proving as Editing HOL Tactics – Koichi Takahashi, Masami Hagiya - 1999