DOVE: A Tool for Design Oriented Verification and Evaluation

机译：DOVE：面向设计的验证和评估工具

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The DOVE tool is aimed at providing support for reasoning about state machine designs for critical software-based devices.

机译：DOVE工具旨在为推理有关基于关键软件的设备的状态机设计提供支持。

著录项

来源
《Algebraic methodology and software technology》|1997年|p.574-575|共2页
会议地点 Sydney(AU);Sydney(AU)
作者
M. A. Ozols; K. A. Eastaughffe; A. Cant;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. The KeY tool: Integrating object oriented design and formal verification [J] . Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Software and systems modeling . 2005,第1期

机译：KeY工具：集成面向对象的设计和形式验证
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. Current Usage of Unmanned Aircraft Systems (UAS) and Future Challenges: A Mission Oriented Simulator for UAS as a Tool for Design and Performance Evaluation [J] . Journal of Computation & Modeling . 2014,第1期

机译：无人机系统（UAS）的当前使用和未来的挑战：面向任务的UAS模拟器作为设计和性能评估的工具
4. DOVE: A Tool for Design Oriented Verification and Evaluation [C] . M. A. Ozols, K. A. Eastaughffe, A. Cant International conference on algebraic methodology and software tecnology . 1997

机译：DOVE：设计导向验证和评估的工具
5. Ship design using the ship smart system design tool: An evaluation of the tools and methods necessary to facilitate the design of modern ships with complex interdependent systems. [D] . Kuhn, Kevin X. 2015

机译：使用船舶智能系统设计工具进行船舶设计：对促进具有复杂相互依存系统的现代船舶设计所必需的工具和方法的评估。
6. A comprehensive and clinical‐oriented evaluation criteria based on DVH information and gamma passing rates analysis for IMRT plan 3D verification [O] . Xin Yi, Wen‐li Lu, Jun Dang, 2020

机译：基于DVH信息的全面和临床导向的评估标准和IMRT计划3D验证的伽马传递率分析
7. Verifying data- and control-oriented properties combining static and runtime verification : theory and tools [O] . Ahrendt Wolfgang, Chimento Jesús Mauricio, Pace Gordon J., 2017

机译：结合静态和运行时验证来验证面向数据和控件的属性：理论和工具
8. Design Oriented Verification and Evaluation: The Dove Project [R] . Cant, T. , Mahony, B. , McCarthy, J. 2002

机译：面向设计的验证与评估：鸽子项目

DOVE: A Tool for Design Oriented Verification and Evaluation

摘要

著录项

相似文献

相关主题

期刊订阅