Title :
A case study on design for provability
Author :
Curzon, P. ; Leslie, I.M.
Author_Institution :
Comput. Lab., Cambridge Univ., UK
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;
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
DOI :
10.1109/ICECCS.1995.479304
