Úspěšný projekt GAČR týmů z FIT VUT a MFF UK odhaluje chyby v programech

Snaha minimalizovat výskyt chyb v počítačových programech je velmi aktuální téma. Chyby, které se nepodaří najít a odstranit před jejich nasazením, totiž mohou způsobit velké ekonomické ztráty, a dokonce i ztráty na lidských životech. Zájem o automatizované techniky odhalování chyb proto roste ve všech sférách průmyslu, což stimuluje intenzivní vývoj nových metod a nástrojů pro hledání chyb. "Verifikace a hledání chyb v pokročilém softwaru" bylo i tématem projektu ROBUST  pod vedením Tomáše Vojnara z FIT a Jana Kofroně z Matematicko-fyzikální fakulty Univerzity Karlovy. Projekt byl financován Grantovou agenturou České republiky, na jejíchž stránkách si můžete o projektu přečíst aktuální článek. Výzkumníci z FIT a MFF UK bádají v této oblasti i nadále, mimo jiné v rámci navazujícího projektu GAČR Snappy.