On combining functional verification and performance evaluation using CADP

DOI10.1007/3-540-45614-7_23MaRDI QIDQ4808842zbMATH OpenFDO

Authors Hubert Garavel, Holger Hermanns

Publication date 12 August 2004

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/2391/23910410.htm, https://ris.utwente.nl/ws/files/102034906/Garavel2002on.pdf

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• A set of performance and dependability analysis components for CADP
• Compositional verification of asynchronous concurrent systems using CADP
• On the effective deployment of functional formal verification
• A framework for combining analysis and verification

Cited in

(15)

• A compositional model to reason about end-to-end QoS in stochastic Reo connectors
• CADP
• From generic partition refinement to weighted tree automata minimization
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• Reflections on the future of concurrency theory in general and process calculi in particular
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• The how and why of interactive Markov chains
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• Compositional abstraction for stochastic systems
• A set of performance and dependability analysis components for CADP
• The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems
• Distributed Markovian bisimulation reduction aimed at CSL model checking
• Equivalence checking 40 years after: a review of bisimulation tools
• Generic partition refinement and weighted tree automata

Describes a project that uses

Uses Software

• LOTOS
• PEPA

This page was built for publication: On combining functional verification and performance evaluation using CADP

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