Hermanns, Holger; Joubert, Christophe A set of performance and dependability analysis components for CADP. (English) Zbl 1031.68552 Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 425-430 (2003). Summary: This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the CADP toolbox, originally designed for verifying the functional correctness of LOTOS specifications. Three new tools (named BCG_STEADY, BCG_TRANSIENT and DETERMINATOR have been added to the toolbox. The approach taken fits well within the existing architecture of CADP which doesn’t need to be altered to enable performance evaluation.For the entire collection see [Zbl 1017.00035]. Cited in 1 Document MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Software:SPNP; PEPA; GreatSPN 1.7; CADP; Möbius; SMART_; GreatSPN PDF BibTeX XML Cite \textit{H. Hermanns} and \textit{C. Joubert}, Lect. Notes Comput. Sci. 2619, 425--430 (2003; Zbl 1031.68552) Full Text: Link OpenURL