CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Communicating sequential processes
Communicating sequential processes
Extensional equivalence for transition systems
Acta Informatica
Communication and concurrency
Design and validation of computer protocols
Design and validation of computer protocols
Tool support to implement LOTOS formal specifications
Computer Networks and ISDN Systems - Special issue on tools for FDTs
Direct verification of bisimulations
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Computer architecture (2nd ed.): a quantitative approach
Computer architecture (2nd ed.): a quantitative approach
GSM System Engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
An Introduction to GSM
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Software Quality's Eight Greatest Myths
IEEE Software
Algebraic Specification through Expression Transformation
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Proceedings of the First International Conference on Formal Description Techniques
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion
Proceedings of the First International Conference on Formal Description Techniques
Hi-index | 0.00 |
In this paper we show how a formal approach to design may speed up the development process for a new standard-based product: an interception device for GSM networks. We discuss the benefits, the limitations, and the lessons learnt using this approach, based on our own practical experience. A software package containing the results of this work and related documentation is freely available for academic institutions.