TIPPtool: Compositional Specification and Analysis of Markovian Performance Models [chapter]

H. Hermanns, V. Mertsiotakis, M. Siegle
1999 Lecture Notes in Computer Science  
In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.
doi:10.1007/3-540-48683-6_42 fatcat:rmc24nctvfdppf6qpkhbv5ddoi