Debugging a Real-life Protocol with CFFD-Based Verification Tools

Industrial Critical Systems, Paris 16–17 July 2001, INRIA, pages 13–27. In this paper we describe how verification tools, which are based on model checking, were used in a real-life communication protocol design project. Parallel composition, abstraction, reduction and visualisation tools were used to examine the behaviour of the protocol. We performed all… CONTINUE READING