Cyrille Artho

• Automated Technology for Verification and Analysis
• Formal Techniques for Safety-Critical Systems