Experiences formally verifying a network component
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
IntroductionCommunication networks are rapidly becoming all pervasive. Systems are increasingly beingnetworked 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 becomeincreasingly important. This is especially so if networks are used in safety-critical applicationswhere communication...Keywords
This publication has 5 references indexed in Scilit:
- Higher Order Logic and Hardware VerificationPublished by Cambridge University Press (CUP) ,1993
- ATM everywhere?IEEE Network, 1993
- FairisleACM SIGCOMM Computer Communication Review, 1991
- Inside risks: some reflections on a telephone switching problemCommunications of the ACM, 1990
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989