loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
A case study on design for provability
Ft. Lauderdale, Florida
November 06-November 10
ISBN: 0-8186-7123-8
ASCII Text
x 
 
P. Curzon, I.M. Leslie, "A case study on design for provability," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 59, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.1995.479304,
author = {P. Curzon and I.M. Leslie},
title = {A case study on design for provability},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7123-8},
pages = {59},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479304},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - A case study on design for provability
SN - 0-8186-7123-8
SP
EP
A1 - P. Curzon,
A1 - I.M. Leslie,
PY - 1995
KW - formal specification; formal verification; design for provability; formal verification; verification task; formal specification; switching fabric; ATM network switch
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
P. Curzon, Comput. Lab., Cambridge Univ., UK
I.M. Leslie, Comput. Lab., Cambridge Univ., UK
We describe a case study which demonstrates that, by designing with formal verification in mind, a designer can simplify the verification task enormously without sacrificing other design considerations. In addition, the formal specification and verification process can highlight anomalies in a design, and suggest design changes that improve it. The design we considered was a switching fabric for an ATM network switch. It is a real, fabricated component of a working network.
Index Terms:
formal specification; formal verification; design for provability; formal verification; verification task; formal specification; switching fabric; ATM network switch
Citation:
P. Curzon, I.M. Leslie, "A case study on design for provability," iceccs, pp.59, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.