The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems
Dezhuang Zhang6 
, Rance Cleaveland6 and Eugene W. Stark6
| (6) |
Department of Computer Science, State University of NewYork at Stony Brook, Stony Brook, NY, USA |
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.
Research supported by NSF grants CCR-9988155, CCR-9988489, and CCR-0098037 and Army Research Office grants DAAD190110003 and
DAAD190110019.
References secured to subscribers.