The first CHESS Industrial Day took place on 8 December at the Faculty of Informatics, Masaryk University. The event brought together researchers and practitioners in formal methods from industry and academia and provided an excellent opportunity to exchange practical experience with methods and tools for software analysis/verification/testing. The program included invited presentations reporting the use, advantages, and bottlenecks of formal methods in industrial practice and tool demos.
In particular, the presentations ranged from formal verification of smart contracts based on blockchain technology, through usage of formal methods in the development of cyber-physical systems and systems software, to their use in modern compilers. The tool demos covered tools based on static as well as dynamic analysis, together with a technology for running such tools as web services and for embedding them into common integrated development environments.