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

Authors:
Dezhuang Zhang;Rance Cleaveland;Eugene W. Stark
Affiliations:
Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY;Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY;Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
Venue:
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Year:
2003

Citing 9
Cited 3

Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
The concurrency workbench: a semantics-based tool for the verification of concurrent systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Composition and behaviors of probabilistic I/O automata

Theoretical Computer Science
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
An Algebra-Based Method to Associate Rewards with EMPA Terms

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
A Front-End Generator for Verification Tools

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
On Combining Functional Verification and Performance Evaluation Using CADP

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The NCSU Concurrency Workbench

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science

A brief history of process algebra

Theoretical Computer Science - Process algebra
Model checking communicative agent-based systems

Knowledge-Based Systems
Model checking commitment protocols

IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

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.