Loading...
conference paper
Validating properties of communication protocols
1987
IEEE MONTECH '87 Conferences: Communications - Telecommunications Today and Tomorrow
The validation of such key properties of communication protocols as liveness, safety, fairness, and performance is considered. In particular, an approach that achieves the validation of the safety properties using CCS combined with assertion proofs is presented. CCS is used to help generate a process that contains the assertions specifying the protocol. The assertions are then checked by process execution
Type
conference paper
Authors
Publication date
1987
Publisher
Published in
IEEE MONTECH '87 Conferences: Communications - Telecommunications Today and Tomorrow
Start page
116
End page
119
EPFL units
Available on Infoscience
January 11, 2007
Use this identifier to reference this record