In our first meeting, Prof. Dr. Lüth explained the basics of formal verification. In his talk, he focused in particular on the key techniques of formal semantics and abstraction and provided a concrete example.

The full recording can be found here:

Prof. Dr. Christoph Lüth is deputy director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. He also teaches as a professor at the University of Bremen in the Faculty of Mathematics and Computer Science.