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

Member of Performance & Dependability lab