Conference paper

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


    • LTI-CONF-1987-001

    Record created on 2007-01-11, modified on 2016-08-08


  • There is no available fulltext. Please contact the lab or the authors.

Related material