The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 431-436

  Zhang, Dezhuang ^a   Cleaveland, Rance ^a   Stark, Eugene W ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

ANALYSIS CAPABILITIES; COMPOSITIONAL PERFORMANCE ANALYSIS; CONCURRENT SYSTEMS; FUNCTIONAL VERIFICATION; PERFORMANCE ANALYSIS; VERIFICATION TOOLS;

ARTIFICIAL INTELLIGENCE;

EID: 35248856417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_31     Document Type: Article

References (14)

1. M. Bernardo, An algebra-based method to associate rewards with EMPA terms. In ICALP'97, vol. 1256 of LNCS, pages 358-368, Jul. 1997.
2. M. Bernardo, R. Cleaveland, S. Sims, and W. Stewart. TwoTowers: A tool integrating functional and performance analysis of concurrent systems. In FORTE XI/PSTV XVIII '98, pages 457-467, Nov. 1998.
3. R. Cleaveland, E. Madelaine, and S. Sims. A front-end generator for verification tools. In TACAS'95, vol. 1019 of LNCS, pages 153-173, May 1995.
4. R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems. ACM TOPLAS, 15(1):36-72, Jan. 1993.
5. R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In Computer Aided Verification (CAV '96), vol. 1102 of LNCS, pages 394-397, Jul. 1996.
6. R. Cleaveland and S. Sims. Generic tools for verifying concurrent systems. Science of Computer Programming, 42(1):39-47, Jan. 2002.
7. H. Garavel and H. Hermanns. On combining functional verification and performance evaluation using CADP. In FME, vol. 2391 of LNCS, pages 410-429, 2002.
8. N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In 6th ACM PODC, pages 137-151, 1987.
9. E. Stark and G. Pemmasani. Implementation of a compositional performance analysis algorithm for probabilistic I/O automata. In 7th PAPM, pages 3-24, 1999.
10. E. Stark and S. Smolka. Compositional analysis of expected delays in networks of probabilistic I/O automata. In Proc. 13th LICS, pages 466-477, Jun. 1998.
11. E. Stark, S. Smolka, and R. Cleaveland. A process-algebraic language for PIOA. Unpublished draft, 2003.
12. E. Stark. Compositional performance analysis using probabilistic I/O automata. In CONCUR 2000, vol. 1877 of LNCS, pages 25-28, Aug. 2000.
13. W. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Presss, 1994.
14. S. Wu, S. Smolka, and E. Stark. Composition and behaviors of probabilistic I/O automata. Theoretical Computer Science, 176(1-2): 1-38, Apr. 1997.