Formální ověřování bezpečnosti kritického řídicího softwaru UAV
Formální ověřování bezpečnosti řídicího softwaru UAV využívá matematické metody k zajištění splnění bezpečnostních požadavků podle standardů DO-178C/DO-333 a dalších, s cílem minimalizovat rizika, podpořit certifikaci a zajistit správnou fu
