首页> 美国政府科技报告 >Software Tools for Formal Specification and Verification of Distributed Real-TimeSystems

【24h】

Software Tools for Formal Specification and Verification of Distributed Real-TimeSystems

机译：用于分布式实时系统的形式规范和验证的软件工具

获取原文

页面导航

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

摘要

The goals of Phase I are to design in detail a toolkit environment based onformal methods for the specification and verification of distributed real-time systems and to evaluate the design. The evaluation of the design includes investigation of both the capability and potential usefulness of the toolkit environment and the feasibility of its implementation.

著录项

作者
Kim, J.; Choi, J.; Lee, I.;
展开▼
作者单位

展开▼
年度 1994
页码
总页数 76
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Specifications; Distributed data processing; Software engineering; Computerprogram verification; Algorithms; Semantics; Mathematical models;

机译：规范;分布式数据处理;软件工程;计算机程序验证;算法;语义学;数学模型;

相似文献

外文文献
中文文献
专利

1. SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification | Science Publications [J] . Mohamed A. Sullabi, Zarina Shukur American journal of applied sciences . 2008,第4期

机译：SNL2Z：用于将非正式结构化软件规范转换为正式规范的工具科学出版物
2. Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event - B [J] . Bal Krishna Saraswat, Raghuraj Suryavanshi, Divakar Yadav International Journal of Engineering Trends and Technology . 2021,第4期

机译：使用事件 - B分布式系统检查点算法的正式规范和验证
3. Formal specification and verification of reusable communication models for distributed systems architecture [J] . Quentin Rouland, Brahim Hamid, Jason Jaskolka Future generation computer systems . 2020,第Jula期

机译：分布式系统体系结构的可重用通信模型的正式规范和验证
4. A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications [C] . Virseda Rafael del Vado Software Engineering Education and Training (CSEEamp;T), 2012 IEEE 25th Conference on . 2012

机译：用于从形式代数规范中验证抽象数据类型实现的软件测试工具
5. A modular approach to formal specification and verification of dependable distributed protocols. [D] . Ren, Da Qi. 2002

机译：正式规范和验证可靠的分布式协议的模块化方法。
6. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format an API and a validation method [O] . Augustin Luna, Evrim I Karac, Margot Sunshine, 2011

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式API和验证方法
7. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems [O] . Blech, Jan Olaf, Schmidt, Heinz 2014

机译：BespaceD：迈向规范的工具框架和方法分布式软件构件的空间行为分析与验证系统
8. Software Tools for Formal Specification and Verification of Distributed Real-TimeSystems [R] . 1997

机译：用于分布式实时系统的形式规范和验证的软件工具

Software Tools for Formal Specification and Verification of Distributed Real-TimeSystems

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅