Verification and test generation for the SSCOP protocol
- 1 January 2000
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 36 (1) , 27-52
- https://doi.org/10.1016/s0167-6423(99)00017-9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Nature ,1998
- Protocol verification with the ALDÉBARAN toolsetInternational Journal on Software Tools for Technology Transfer, 1997
- An experiment in automatic generation of test suites for protocols with verification technologyScience of Computer Programming, 1997
- Test generation for the SSCOP-ATM networks protocolPublished by Elsevier ,1997
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- Using on-the-fly verification techniques for the generation of test suitesPublished by Springer Nature ,1996
- 3D layout of reachability graphs of communicating processesPublished by Springer Nature ,1995
- GOAL: Observing SDL behaviors with GEODEPublished by Elsevier ,1995
- Safety for branching time semanticsPublished by Springer Nature ,1991
- Results on the propositional μ-calculusTheoretical Computer Science, 1983