首页> 外文会议>Theory and applications of models of computation. >Automatic Verification of Real-Time Systems with Rich Data: An Overview
【24h】

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.
机译:我们概述了协作研究中心AVACS(复杂系统的自动验证和分析)在2008-2011年期间的“超越定时自动机”项目的成果,该项目推动了对系统高级规范的自动验证展示了过程行为,复杂的无限数据和连续的实时性这三个维度,这超出了定时自动机的能力。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号