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