首页> 外文OA文献 >Using statechart assertion for the formal validation and verification of a real-time software system a case study

【2h】

Using statechart assertion for the formal validation and verification of a real-time software system a case study

机译：使用状态图声明进行实时软件系统的形式验证和验证的案例研究

代理获取

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

页面导航

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

摘要

Approved for public release; distribution is unlimited.

机译：批准公开发布；发行是无限的。

著录项

作者
Beylin Konstantin (Chris).;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software [J] . Alves M.C.B., Drusinsky D., Michael J.B., IEEE systems journal . 2013,第4期

机译：端到端正式规范，验证和验证过程：太空飞行软件的案例研究
2. ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real-Time System Specifications in Statechart [J] . Kwang-Il KO, Kyo C. KANG IEICE Transactions on Information and Systems . 1999,第2期

机译：ASADAL / PROVER：用于验证Statechart中实时系统规范的时间特性的工具集
3. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study [J] . Vidar Sl°atten, Frank Alexander Kraemer, Peter Herrmann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第3期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
4. Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring [C] . Bergue Alves Miriam C., Drusinsky Doron, Michael James Bret, 2011 6th International Conference on System of Systems Engineering . 2011

机译：使用状态图断言和运行时执行监视来正式验证和验证太空飞行软件
5. A framework for formal methods driven verification and validation of dependable real-time protocols. [D] . Sinha, Purnendu. 2000

机译：用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
6. Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie [O] . Eleni Giannoulatou, Shin-Ho Park, David T Humphreys, 2014

机译：没有黄金标准的生物信息学软件的验证和确认：BWA和Bowtie的案例研究
7. Formal Verification of UML Statecharts with Real-Time Extensions [O] . Alexandre David, M. Oliver Möller, Wang Yi 2001

机译：带有实时扩展的UML状态图的形式验证

Using statechart assertion for the formal validation and verification of a real-time software system a case study

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅