Yliès Falcone

• Lectures on Runtime Verification
• Formal Methods in Outer Space