Verification of communication protocols using data flow analysis
- 1 October 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 21 (6) , 93-105
- https://doi.org/10.1145/239098.239114
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Data flow analysis for verifying properties of concurrent programsACM SIGSOFT Software Engineering Notes, 1994
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991
- Cecil: a sequencing constraint language for automatic static analysis generationIEEE Transactions on Software Engineering, 1990
- Properties of data flow frameworksActa Informatica, 1990
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- The CCITT-specification and description language SDLComputer Networks and ISDN Systems, 1989
- An introduction to Estelle: A specification language for distributed systemsComputer Networks and ISDN Systems, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969