Automatic Verification of Combined Specifications: An Overview

This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) of the Universities of Oldenburg, Freiburg, and Saarbr

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Ernst-Rüdiger Olderog
• Keywords: Automatic Verification, Collaborative Research Center, ENTCS 2008, European Train Control System