Stefan Schwoon

Assistant professor, ENS Cachan

• Selected Publications

Teaching

• 2012: Verification course
• 2012: Systems course/tutorial

Tools

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

Events

• TACAS 2012
• Graphite 2012
• Movep 2012
• SPIN 2013

Other

See also old homepage in Munich.
Private pages: cycling

About LSV

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

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique