Tracking design changes with formal machine-checked proof (1995)
by
Paul Curzon
| Venue: | The Computer Journal |
| Citations: | 12 - 11 self |
BibTeX
@ARTICLE{Curzon95trackingdesign,
author = {Paul Curzon},
title = {Tracking design changes with formal machine-checked proof},
journal = {The Computer Journal},
year = {1995},
volume = {38},
pages = {91--100}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 466 | Introduction to HOL : a theorem proving environment for higher-order logic - Gordon, Melham - 1993 |
| 381 | A Computational Logic Handbook - Boyer, Moore - 1988 |
| 54 | Fairisle: An ATM Network for the Local Area - Leslie, McAuley - 1991 |
| 7 | Experiences Formally Verifying a Network Component - Curzon - 1994 |
| 4 | The notion of proof in hardware veri cation - Cohn - 1989 |
| 2 | Reuse of proofs in software verication - Reif, Stenzel - 1993 |
| 1 | 1986� Formal hardware veri�cation methodology and its application to a net� work interface chip - Herbert�, Gordon� |
| 1 | 1994� Formal veri�cation of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model - Lincoln�, Rushby� |
