TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Overview

Members

Research & Projects

Competence Center Verification & Testing - Overview

The Verification & Testing Group develops and applies methods widely deal with checking correctness of hard and software systems. Our methods either show the absence of bugs or, practically equally important, spot bugs in the current version of the system.

Main items of our research are:

• model checking
• run-time verification
• model-based testing
• assertion language for temporal logic
• theorem proving
• model-based verification
• embedded system verification
• verification-based methodologies
• verification-oriented requirements engineering