首页> 外文OA文献 >AstrÉe: Verification of Absence of Runtime Error

【2h】

AstrÉe: Verification of Absence of Runtime Error

机译：Astrée：验证运行时错误

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Laurent Mauborgne;
展开▼
作者单位

展开▼
年度 -1
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. RML: runtime monitoring language: a system-agnostic DSL for runtime verification [J] . Bernard Kuc Computing reviews . 2021,第4期

机译：RML：运行时监控语言：用于运行时验证的系统 - 不可止液DSL
2. Verifying data- and control-oriented properties combining static and runtime verification: theory and tools [J] . Ahrendt Wolfgang, Chimento Jesus Mauricio, Pace Gordon J., Formal Methods in System Design . 2017,第1期

机译：结合静态和运行时验证来验证面向数据和控件的属性：理论和工具
3. ModelPlex: verified runtime validation of verified cyber-physical system models [J] . Mitsch Stefan, Platzer Andre Formal Methods in System Design . 2016,第1a2期

机译：ModelPlex：已验证验证网络 - 物理系统模型的运行时验证
4. Efficient Verification of Non-Functional Safety Properties by Abstract Interpretation: Timing, Stack Consumption, and Absence of Runtime Errors [C] . Daniel Kastner, Christian Ferdinand International System Safety Conference . 2011

机译：通过抽象解释有效验证非功能安全性质：时序，堆叠消耗和运行时错误的缺失
5. Practical runtime identification of program errors [D] . Fei, Long 2006

机译：实用的程序错误运行时识别
6. Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [O] . Lei Hang, Do-Hyeun Kim 2020

机译：基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
7. Proving the Absence of RTSJ Related Runtime Errors through Data Flow Analysis [O] . Fridtjof Siebert 2006

机译：通过数据流分析证明RTSJ相关的运行时错误的缺失
8. Verifying the Absence of Common Runtime Errors in Computer Programs [R] . German, S. M. 1981

机译：验证计算机程序中常见运行时错误的缺失

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号