Automatic Verification of Real-Time Systems with Rich Data: An Overview

摘要

We present an overview of t he results of the project "Beyond Timed Automata" of the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) during the period 2008-2011, which advances the automatic verification of high-level specifications of systems exhibiting the three dimensions of process behavior, complex infinite data, and continuous real-time beyond the capabilities of Timed Automata.