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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Zhang, D., Cleaveland, R., & Stark, E. W. (2003). 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), 2619, 431–436. https://doi.org/10.1007/3-540-36577-x_31
Mendeley helps you to discover research relevant for your work.