Department of Informatics

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

TUM
 
 

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
See Projects for details.
 

© 1999-2009 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact
Last change: 2009-04-01 11:30:56