Seminar logo

  • Photo of Daniel Varro
    Verification of Safety-Critical Systems
    • Daniel Varro – Professor of Software Engineering at Linkoping University
    We explore advanced methods and tools for ensuring the reliability and safety of critical systems in the field of automotive. We will discuss about formal verification techniques, testing strategies, and industry standards essential for verifying systems where failure is not an option.
    Calendar icon Wednesday, August 21, 2024 @11h00 3195, Pav. André-Aisenstadt