Electrical and Computer Seminar - Domain Specific Languages for Verified Software
Dr. Damien Zufferey
Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology
Invited by PROFESSOR Krzysztof Czarnecki
ALL ARE WELCOME!
Abstract:
In this talk, I will show how we can harness the synergy between programming languages and verification methods to help programmers build reliable software, prove complex properties about them, and scale verification to industrial projects.