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.