Formal Specification and Automatic Verification of Conditional Commitments

El Kholy Warda; El Menshawy Mohamed; Bentahar Jamal; Qu Hongyang; Dssouli Rachida

首页> 外文期刊>Intelligent Systems, IEEE >Formal Specification and Automatic Verification of Conditional Commitments

【24h】

Formal Specification and Automatic Verification of Conditional Commitments

机译：条件承诺的正式规范和自动验证

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.

机译：开发和实施专用于带有用户界面的条件逻辑的模型检查器是确定代理程序是否符合其承诺协议的紧急要求。

著录项

来源
《Intelligent Systems, IEEE》 |2015年第2期|36-44|共9页
作者
El Kholy Warda; El Menshawy Mohamed; Bentahar Jamal; Qu Hongyang; Dssouli Rachida;
展开▼
作者单位

Concordia University;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Conditional logic; Formal verification; Intelligent systems; Model checking; Semantics; compliance; intelligent systems; model-checker; strong (classical) commitments;

机译：条件逻辑;形式验证;智能系统;模型检查;语义;合规性;智能系统;模型检查器;强（经典）承诺;

相似文献

外文文献
中文文献
专利

1. Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction [J] . Bolton M.L., Jimenez N., van Paassen M.M., Human-Machine Systems, IEEE Transactions on . 2014,第5期

机译：从任务模型自动生成规范属性，以进行人与自动化交互的形式验证
2. 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期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
3. Developing usable web interfaces with the aid of automatic verification of their formal specification [J] . Rosanna Cassino, Maurizio Tucci Journal of Visual Languages & Computing . 2011,第2期

机译：通过自动验证其正式规格来开发可用的Web界面
4. Towards automatic generation of formal specifications for UML consistency verification [C] . Mohammadreza Sharbaf, Bahman Zamani, Behrouz Tork Ladani International Conference on Knowledge-Based Engineering and Innovation . 2015

机译：旨在自动生成用于UML一致性验证的正式规范
5. Automatic pipeline synthesis and formal verification from transactional datapath specifications. [D] . Nurvitadhi, Eriko. 2010

机译：根据交易数据路径规范自动进行管道综合和形式验证。
6. Relative efficiency of joint-model and full-conditional-specification multiple imputation when conditional models are compatible: The general location model [O] . Shaun R Seaman, Rachael A Hughes -1

机译：条件模型兼容时联合模型和全条件规范多重插补的相对效率：通用位置模型
7. Formal Specification and Automatic Verification of Conditional Commitments [O] . El Kholy W., El-Menshawy M., Bentahar J., 2015

机译：有条件承诺的正式规范和自动验证
8. Using Formal Specification in the Guidance and Control Software (GCS) Experiment.Formal Design and Verification Technology for Life Critical Systems [R] . Weber, D., Jamsek, D. 1994

机译：使用指导和控制软件（GCs）实验中的形式化规范。生命关键系统的正规设计和验证技术

Formal Specification and Automatic Verification of Conditional Commitments

摘要

著录项

相似文献

相关主题

期刊订阅