b) používány pouze výpočtové programy, které prošly procesy verifikace a validace, a