Paul Curzon  Home/Search
Context Related
| cl.cam.ac.uk/Research/H...compass.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/Research/HVG/atmp... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Communication networks are rapidly becoming all pervasive. Systems are increasingly being networked in the local area with applications using non-local services. In the wide area, telecommunications companies are turning to digital networks. As networks become all-pervasive, the consequences of errors in the design or implementation of network components become increasingly important. This is especially so if networks are used in safety-critical applications where communication... (Update)
Similar documents based on text: More All
0.1: The Impact of Design Changes on Verification Using MDGs - Zobair, Tahar, Curzon (1999) (Correct)
0.1: The Formal Verification of the Fairisle ATM Switching Element: An .. - Curzon (1994) (Correct)
0.1: The Formal Verification of the Fairisle ATM Switching Element - Curzon (1994) (Correct)
BibTeX entry: (Update)
P. Curzon, "Experiences formally verifying a network component", in Proceedings of the 9th Annual IEEE Conference on Computer Assurance, pp 183-193, IEEE Press, 1994. http://citeseer.ist.psu.edu/curzon94experiences.html More
@inproceedings{ curzon94experiences,
author = "Paul Curzon",
title = "Experiences Formally Verifying a Network Component",
booktitle = "Compass'94: 9th Annual Conference on Computer Assurance",
publisher = "National Institute of Standards and Technology",
address = "Gaithersburg, MD",
pages = "183--194",
year = "1994",
url = "citeseer.ist.psu.edu/curzon94experiences.html" }
Citations (may not include all citations):592 Introduction to HOL: a theorem proving environment for highe.. (context) - Gordon, Melham - 1993
55 Fairisle: An ATM network for the local area (context) - Leslie, McAuley - 1991
41 The notion of proof in hardware verification - Cohn - 1989
37 Higher Order Logic and Hardware Verification (context) - Melham - 1993
31 The formal verification of the Fairisle ATM switching elemen.. - Curzon - 1994
31 The formal verification of the Fairisle ATM switching elemen.. - Curzon - 1994
19 ATM everywhere (context) - Leslie, McAuley et al. - 1993
14 Institute for Computing Science (context) - Jr, microprocessor et al. - 1985
14 Using Nuprl for the verification and synthesis of hardware (context) - Leeser - 1992
12 Dependent types and formal synthesis (context) - Hanna, Daeche - 1992
9 Digital Woes: why we should not depend on software (context) - Wiener - 1993
8 The Qudos quick chip user guide (context) - Edgcombe
6 Tracking design changes with formal verification: a network .. - Curzon
5 Formal hardware verification methodology and its application.. (context) - Herbert, Gordon - 1986
5 High level design of an asynchronous packet-routing chip (context) - Josephs, Mak et al. - 1992
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/Research/HVG/atmproof/): More
A Comparison of MDG and HOL for Hardware Verification - Tahar, Curzon (1996) (Correct)
The Importance of Proof Maintenance and Reengineering - Curzon (1995) (Correct)
The Formal Verification of the Fairisle ATM Switching Element: An .. - Curzon (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC