On Combining Functional Verification and Performance Evaluation Using CADP
- 9 July 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 410-429
- https://doi.org/10.1007/3-540-45614-7_23
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- SVL: A Scripting Language for Compositional VerificationPublished by Springer Science and Business Media LLC ,2006
- Process algebra for performance evaluationTheoretical Computer Science, 2002
- Compositional performance modelling with the TIPPtoolPerformance Evaluation, 2000
- Automated compositional Markov chain generation for a plain-old telephone systemScience of Computer Programming, 2000
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and timeTheoretical Computer Science, 1998
- Compositional minimisation of finite state systems using interface specificationsFormal Aspects of Computing, 1996
- A LOTOS extension for the performance analysis of distributed systemsIEEE/ACM Transactions on Networking, 1994
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984