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

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

|    

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

[an error occurred while processing this directive]