Pravděpodobnostní posudek spolehlivosti v programu Freet