A Set of Performance and Dependability Analysis Components for CADP
Abstract elided by the publisher.
Related papers
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes CAV 2007
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes TACAS 2011
- CADP - A Protocol Validation and Verification Toolbox CAV 1996
- An input-centric paradigm for program dynamic optimizations OOPSLA 2010
- Efficient SMT-Based Analysis of Failure Propagation CAV 2021
- Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs ECOOP 2022
- Simplifying dependent reductions in the polyhedral model POPL 2021
- Analyzing and Measuring Reusability in Object-Oriented Designs OOPSLA 1997