Validating properties of communication protocols

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


Published in:
IEEE MONTECH '87 Conferences: Communications - Telecommunications Today and Tomorrow, 116-119
Year:
1987
Publisher:
IEEE
Laboratories:




 Record created 2007-01-11, last modified 2018-01-27


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)