Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering
Texity of reachablility in distributed communicating processes
Acta Informatica
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Temporal logic for real time systems
Temporal logic for real time systems
Design and validation of computer protocols
Design and validation of computer protocols
Practical methods for the formal validation of SDL specifications
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
Telecommunications Systems Engineering Using SDL
Telecommunications Systems Engineering Using SDL
Tools and rules for the practicing verifier
Tools and rules for the practicing verifier
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Automated Development of Cooperative MAC Protocols
Mobile Networks and Applications
The distinctive design characteristic of a wireless sensor network: the energy map
Computer Communications
| Hi-index | 0.00 |
The application of formal methods to high-level protocol design is addressed. A formal method is considered to be one that has the capability of rendering correctness proofs. The traditional and formal design processes are described and compared. The framework for proving logical correctness in protocol engineering is then discussed.