CHESS Industrial Day
V pátek 8. prosince 2023 se na Fakultě informatiky konal první CHESS Industrial Day – klíčový den pro setkání odborníků z průmyslu a akademické oblasti zaměřených na formální metody v softwarovém inženýrství. Program zahrnoval prezentace o využití, výhodách a omezeních formálních metod v praxi a ukázky nástrojů. Akce nabídla skvělou příležitost k výměně praktických zkušeností s metodami a nástroji pro analýzu, ověřování a testování softwaru.
Letošní CHESS Industrial Day ukázal sílu spojení teorie a praxe ve formálních metodách. Tato akce nejen poskytla platformu pro sdílení znalostí, ale také nastínila směr, kterým se bude ubírat vývoj softwarových nástrojů a metod.