This joint project with the University of Debrecen in Hungary runs from October 1, 2012 to September 30, 2013. It is sponsored by the Stiftung Aktion Österreich-Ungarn under the contract 85öu8.
The goal of the proposed project is to compare the capabilities of the probabilistic symbolic model checker PRISM with that of the performance process algebra PEPA for the purpose of modeling and analyzing the performance of computing systems.