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

Dezhuang Zhang; Rance Cleaveland; Eugene W. Stark

doi:10.1007/3-540-36577-x_31

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

Dezhuang Zhang
, Rance Cleaveland
, Eugene W. Stark

Computer Science

Stony Brook University

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

6 Scopus citations

Abstract

This paper reports on an effort to integrate two verification tools, the Concurrency Workbench of the New Century (CWB-NC) and PIOATool. Our aim is to build a single tool that combines the "functional" analysis capabilities of the CWB-NC with the compositional performance-analysis features of PIOATool. We discuss some of the issues involved in the integration, highlighting a particular integration paradigm in which one tool becomes a subshell of the other.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Hubert Garavel, John Hatcliff
Publisher	Springer Verlag
Pages	431-436
Number of pages	6
ISBN (Print)	3540008985
DOIs	https://doi.org/10.1007/3-540-36577-x_31
State	Published - 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2619
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-36577-x_31

Cite this

Zhang, D., Cleaveland, R., & Stark, E. W. (2003). The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems. In H. Garavel, & J. Hatcliff (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 431-436). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2619). Springer Verlag. https://doi.org/10.1007/3-540-36577-x_31

Zhang, Dezhuang ; Cleaveland, Rance ; Stark, Eugene W. / 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). editor / Hubert Garavel ; John Hatcliff. Springer Verlag, 2003. pp. 431-436 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{4140c03e8874424e95d33275c408f3b9,

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

abstract = "This paper reports on an effort to integrate two verification tools, the Concurrency Workbench of the New Century (CWB-NC) and PIOATool. Our aim is to build a single tool that combines the {"}functional{"} analysis capabilities of the CWB-NC with the compositional performance-analysis features of PIOATool. We discuss some of the issues involved in the integration, highlighting a particular integration paradigm in which one tool becomes a subshell of the other.",

author = "Dezhuang Zhang and Rance Cleaveland and Stark, \{Eugene W.\}",

year = "2003",

doi = "10.1007/3-540-36577-x\_31",

language = "English",

isbn = "3540008985",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "431--436",

editor = "Hubert Garavel and John Hatcliff",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Zhang, D, Cleaveland, R & Stark, EW 2003, The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems. in H Garavel & J Hatcliff (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2619, Springer Verlag, pp. 431-436. https://doi.org/10.1007/3-540-36577-x_31

The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems. / Zhang, Dezhuang; Cleaveland, Rance; Stark, Eugene W.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Hubert Garavel; John Hatcliff. Springer Verlag, 2003. p. 431-436 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2619).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

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

AU - Zhang, Dezhuang

AU - Cleaveland, Rance

AU - Stark, Eugene W.

PY - 2003

Y1 - 2003

N2 - This paper reports on an effort to integrate two verification tools, the Concurrency Workbench of the New Century (CWB-NC) and PIOATool. Our aim is to build a single tool that combines the "functional" analysis capabilities of the CWB-NC with the compositional performance-analysis features of PIOATool. We discuss some of the issues involved in the integration, highlighting a particular integration paradigm in which one tool becomes a subshell of the other.

AB - This paper reports on an effort to integrate two verification tools, the Concurrency Workbench of the New Century (CWB-NC) and PIOATool. Our aim is to build a single tool that combines the "functional" analysis capabilities of the CWB-NC with the compositional performance-analysis features of PIOATool. We discuss some of the issues involved in the integration, highlighting a particular integration paradigm in which one tool becomes a subshell of the other.

UR - https://www.scopus.com/pages/publications/35248856417

U2 - 10.1007/3-540-36577-x_31

DO - 10.1007/3-540-36577-x_31

M3 - Chapter

AN - SCOPUS:35248856417

SN - 3540008985

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

SP - 431

EP - 436

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

A2 - Garavel, Hubert

A2 - Hatcliff, John

PB - Springer Verlag

ER -

Zhang D, Cleaveland R, Stark EW. The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems. In Garavel H, Hatcliff J, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 431-436. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-36577-x_31

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this