-         
                 Verification of Safety-Critical Systems 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.Wednesday, August 21, 2024 @11h00 3195, Pav. André-Aisenstadt 

