Franck Cassez

• Automated Technology for Verification and Analysis
• Formal Modeling and Analysis of Timed Systems
• Modeling and Verification of Parallel Processes