Title of lecture: Formal Methods and Tools: Techniques and Experiences

Abstract

I will discuss some techniques and tools for the specification and analysis of software systems and highlight some recent experiences with applying them in practice.