Maybe this website is out of date.
Please visit the current version.

Chair for Software Engineering
Prof. Dr. Stefan Leue

	Software Engineering	Department	University
	Research	Teaching	Student Information	Members	Tools	Open Positions	Presentations	Publications

• Current research projects
  • DiRePro
    • Real-Time Systems
    • Probabilistic Systems
  • IMCOS
  • Directed Model Checking
  • Student Project Page
    
    

• Past research projects
  • VIP
  • Visual Modeling and Formal Validation
  • Formal Modeling and Validation of Distributed, Object-Oriented Systems
  • Message Sequence Charts and Message Flow Graphs
  • Efficient, Parallel Protocol Implementation
  • SDL, Real-Time and Quality of Service

VIP - A Visual Interface for Promela

Please visit our Tools-page for more information about VIP.

Chair for Software Engineering · University of Konstanz
Universitätsstrasse 10 · Box D 67 · D-78457 Konstanz, Germany
Phone +49 (0)7531 88 4431 · Fax +49 (0)7531 88 3577