TU München - Fakultät für Informatik
Software & Systems Engineering Research Group

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

|    

Competence Center Specification & Verification & Testing - Overview

The Specification & Verification & Testing Group develops and applies formal methods widely deal with specification and validation 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:

• formal specification
• formal specification frameworks (see also the FOCUS web page)
• 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 and architecture specification

In the next web pages you find information about our Research Areas, Projects, People, and about our relevant Publications.