First CHESS Industrial Day 2023 at FI MUNI
On 8 December 2023, the Faculty of Computer Science hosted the first CHESS Industrial Day - a key day for bringing together experts from industry and academia focused on formal methods in software engineering. The programme included presentations on the uses, benefits and limitations of formal methods in practice and tool demonstrations. The event offered a great opportunity to exchange practical experiences with methods and tools for software analysis, verification and testing.