Stefan Schwoon

Maître de conférence, ENS Paris-Saclay

• Selected Publications

Teaching

• 2024/2025: Introduction courses (Linux/SSH/Git)
• 2024/2025: Architecture+Systems course
• 2024/2025: Verification course
• 2023/2024: Tree automata and applications
• 2023/2024: Programming projet 2
• 2023/2024: Concepts and model checking (ENSIIE)
• 2023/2024: Formal languages course

Tools

• Mole
• Moped
• WPDS
• Model-Checking Kit (no longer updated)

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact