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
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
GSM System Engineering
Communication and Concurrency
An Introduction to GSM
The GSM System for Mobile Communications
The GSM System for Mobile Communications
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
Formal Development and Verification of a Distributed Railway Control System
IEEE Transactions on Software Engineering
Proving the value of formal methods
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
OMT*, Bridging the Gap between Analysis and Design
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
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)
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Proceedings of the First International Conference on Formal Description Techniques
Formal Techniques for an ITSEC-E4 Secure Gateway
ACSAC '96 Proceedings of the 12th Annual Computer Security Applications Conference
Formal Methods for V&V of Partial Specifications: An Experience RSeport
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
| Hi-index | 0.00 |
We describe our experience using Formal Description Techniques (FDTs) to support the design of interception systems for GSM networks. Both the GSM protocol and the interceptor have been specified using LOTOS, an FDT standardized by the International Standardization Organization (ISO) to describe communication systems and protocols. This has permitted us to asses the feasibility of the proposed system and speed up further design phases. From the LOTOS model, a simulator has been generated automatically. The TOPO tool set was used across the process. An FTP link to a package containing the specification and the simulator is provided.