Invited Tutorial by Rustan Leino (Amazon Web Services): Tools for software verification: an industrial perspective

Formal verification tools for software are used in several industrial applications. In this tutorial, I will give an overview of various families of such tools, mostly influenced by experiences at Amazon. I will also give short demos of how to use such tools for program verification and protocol verification and will discuss challenges in tool adoption.