The successful Czech Science Foundation project reveals bugs in programs
The efforts to minimise bugs in computer programs are a very hot topic. Bugs which are not found and corrected before deployment can cause great economic losses and even loss of life. The interest in automated bug-hunting techniques is therefore growing across industries, incentivising an intensive development of new bug hunting methods and tools. "Verification and bug hunting for advanced software" was also the topic of the ROBUST project led by Tomáš Vojnar from FIT and Jan Kofroň from the Faculty of Mathematics and Physics of Charles University. The project was funded by the Czech Science Foundation, on whose website you can read a recent article (in Czech) about the project. Researchers from FIT and MFF UK will pursue their research in this area further, among others within the follow-up project Snappy, also funded by the Czech Science Foundation.