Abstract
In this section, we give some examples to illustrate the practical use of our technique for different protocols and systems. In addition, we compare our technique with five well known techniques for efficient analysis, i.e., Partial Order (PO), Bit-Hash (BH), Weak Bisimulation (WB), CFFD model reduction, and OBDD (Ordered Binary Decision Diagram).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Juan, E.Y.T., Tsai, J.J.P. (2002). Tools and Experiments. In: Compositional Verification of Concurrent and Real-Time Systems. The Springer International Series in Engineering and Computer Science, vol 676. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1009-3_6
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1009-3_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5349-2
Online ISBN: 978-1-4615-1009-3
eBook Packages: Springer Book Archive