Presentation title

Modern Formal Methods for the Design and Verification of Complex Systems

Authors

Alessandro Cimatti

Institution(s)

Bruno Kessler Foundation

Presentation type

Technical presentation

Abstract

In this talk, I will overview the role of modern formal methods in the design of complex systems. I will first present some recent advancements in symbolic model checking for temporal properties of dynamical systems. Then, I will illustrate a formal approach to safety assessment. Finally, I will describe the role of a contract-based approach as a way towards correct-by-construction hierarchical decomposition. Practical applications will be presented.

---

Additional material

• Presentation slides: [pdf]