Stefan Schwoon

Maître de conférence, ENS Cachan

• Selected Publications

Teaching

• 2017: Programming Project 2: 1st part, 2nd part
• 2017: Formal languages exercises
• 2016/17: Architecture+Systems course
• 2016/17: Verification course
• 2016/17: Algorithmique (Agrégation)

Tools

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

Events

• TAP 2015
• Petri Nets Conference 2015
• Cassting Meeting, Brussels
• SPIN 2015

Other

Private pages: cycling

About LSV

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

• &Eactue;cole Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique