DocumentCode
2870589
Title
A case study on design for provability
Author
Curzon, P. ; Leslie, I.M.
Author_Institution
Comput. Lab., Cambridge Univ., UK
fYear
1995
fDate
6-10 Nov 1995
Firstpage
59
Lastpage
62
Abstract
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
Keywords
formal specification; formal verification; ATM network switch; design for provability; formal specification; formal verification; switching fabric; verification task; Asynchronous transfer mode; Clocks; Computer aided software engineering; Fabrics; Formal specifications; Formal verification; Laboratories; Switches; Testing; Transmission line theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location
Ft. Lauderdale, FL
Print_ISBN
0-8186-7123-8
Type
conf
DOI
10.1109/ICECCS.1995.479304
Filename
479304
Link To Document