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

Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart

Browse the full FORTE paper archive.