Implementing Symbolic Models for Value Passing in TwoTowers

Authors:
Marco Bernardo
Affiliations:
-
Venue:
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Year:
2000

Citing 6
Cited 0

The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Communication and Concurrency

Communication and Concurrency
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)
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
The NCSU Concurrency Workbench

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an extension of TwoTowers, a software tool for the functional and performance analysis of concurrent and distributed systems modeled in EMPA, in which a symbolic model based support for data driven computations is implemented and we recall its advantages both from the expressiveness and the analysis standpoint.