Research Area "Formal Methods for Software Development"

Research Topics

The main focus of research in formal methods at our group is algebraic specification, based on the CASL language, and development of effective tool support for all aspects of formal development.

Specific topics include:

• Formal specification with CASL and extensions
• Theorem proving with Isabelle
• Research on development environments
  • Heterogeneous development
  • Transformational Development
  • Abstraction and re-use of developments
  • The Graphical Development Process Assistant
• Multimedia instructions in safe and secure systems
• Security
• Completed Projects

Publications and Software

International Contacts

Staff

• Krieg-Brückner, Bernd, Prof. Dr.
• Lüth, Christoph, Dr.
• Mossakowski, Till, Dr.
• Schröder,Lutz,Dr.
• Shi, Hui, Dr.
• Sohr, Karsten,Dr.