BIB-VERSION:: CS-TR-v2.0
          ID:: SBCS//stark/pioatool.ps.gz
       ENTRY:: January 17, 2003
ORGANIZATION:: State University of New York at Stony Brook, Computer Science
       TITLE:: The Integrated CWB-NC/PIOATool for Functional Verification 
	        and Performance Analysis of Concurrent Systems
        TYPE:: Technical Report
      AUTHOR:: Zhang, D., Cleaveland, R., Stark, E. W.
     CONTACT:: Eugene W. Stark, Department of Computer Science,
                   SUNY at Stony Brook, Stony Brook, NY 11794-4400
                   Tel: 631-632-8444 <stark@cs.sunysb.edu>
        DATE:: January 17, 2003
   RETRIEVAL:: HTTP from BSD7.CS.SUNYSB.EDU with the URL
		   http://bsd7.cs.sunysb.edu/~pioa/Papers/pioatool.abstract

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.