Workshop_2_4_Performance_parameters_for_verification_Ewa_Neczaj