A set of performance and dependability analysis components for CADP

DOI10.1007/3-540-36577-X_30MaRDI QIDQ4417943zbMATH OpenFDO

Authors Holger Hermanns, Christophe Joubert

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190425.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On combining functional verification and performance evaluation using CADP
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• TIPPtool: Compositional specification and analysis of Markovian performance models
• Performability modelling tools and techniques
• A toolbox for the analysis of discrete event dynamic systems

Cited in

(3)

• CADP 2010: a toolbox for the construction and analysis of distributed processes
• On combining functional verification and performance evaluation using CADP
• Equivalence checking 40 years after: a review of bisimulation tools

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7
• CADP
• PEPA
• Möbius
• SMART_
• SPNP

This page was built for publication: A set of performance and dependability analysis components for CADP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417943)