Video: Introducing Formal Analysis: Landscape