Design and validation of computer protocols
Design and validation of computer protocols
Process algebra
Handbook of logic in computer science (vol. 4)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Term rewriting and all that
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Linearization in parallel pCRL
Linearization in parallel pCRL
The syntax and semantics of timed $\mu CRL$
The syntax and semantics of timed $\'mu CRL$
Model checking the HAVi leader election protocol
Model checking the HAVi leader election protocol
Algebraic verification of a distributed summation algorithm
Algebraic verification of a distributed summation algorithm
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
| Hi-index | 0.00 |
This paper describes two specifications of the leader election protocol from the home audio/ video interoperability (HAVi) architecture. The specifications were written in two concurrent specification languages: µCRL and PROMELA. Two toolsets allowing generation of finite labeled transition systems, for µCRL and PROMELA, respectively, were applied in this case study. The results of the state space generation by both tools and some conclusions on the semantical differences between PROMELA and µCRL are presented in this paper.