Department of Informatics

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

TUM
 
 

Compentence Center Specification & Verification & Testing - Research Areas

Currently our group is working on the following research areas:

  • 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


 

© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2010-06-18 16:04:21