TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.

Marco Bernardo Rance Cleaveland Steve Sims W. Stewart

Published in: FORTE (1998)

Keyphrases

concurrent systems
distributed systems
temporal logic
petri net
model checking
software tools
process algebra
query language
databases
neural network
website
object oriented
knowledge management
transition systems