Workshops

Formal Verification of Safety-Critical Distributed Systems: Fundamentals of Model Checking and Tempo

With Mehran Moeini Jam
Formal Verification of Safety-Critical Distributed Systems: Fundamentals of Model Checking and Tempo

Modules

Module 1Formal Verification of Safety-Critical Distributed Systems: Fundamentals of Model Checking and Tempo (Mehran Moeini Jam)Mar 1, 2023, 9:00 AM – 10:30 AM

About the presenter

Mehran Moeini Jam

Member of Performance & Dependability lab