A weakest precondition calculus for BUnity

L. Astefanoaei; F.S. de Boer; M. Dastani; J.-J. Ch. Meyer

首页> 外文期刊>Science of Computer Programming >A weakest precondition calculus for BUnity

【24h】

A weakest precondition calculus for BUnity

机译：BUnity最弱的前提演算

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

We present a weakest precondition calculus for belief updates in a high-level agent specification language. The weakest precondition calculus supports a deductive method which allows us to reason about important safety and leads-to properties of the semantics of agent specifications.

机译：我们为高级代理规范语言中的信念更新提供最弱的前提演算。最弱的前提条件演算支持一种演绎方法，该方法使我们能够推理重要的安全性并导致代理规范语义的属性。

著录项

来源
《Science of Computer Programming》 |2013年第9期|1278-1293|共16页
作者
L. Astefanoaei; F.S. de Boer; M. Dastani; J.-J. Ch. Meyer;
展开▼
作者单位

INRIA Grenoble - Rhone-Alpes. Inovallee, 655 avenue de l'Europe, Montbonnot, 38 334 Saint Ismier Cedex, France;

Centrum voor Wiskunde en Informatica (CWI), Department of Software Engineering, Science Park 123, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands;

Intelligent Systems Group, Utrecht University. P.O. Box 80.089. 3508 TB Utrecht, The Netherlands;

Intelligent Systems Group, Utrecht University. P.O. Box 80.089. 3508 TB Utrecht, The Netherlands;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
Assertions; BDI agents; Belief updates; Correctness; Inductive invariants; Leads-to properties;

机译：断言;BDI代理商;信念更新;正确性;归纳不变式;潜在客户属性;

相似文献

外文文献
中文文献
专利

1. Instrumenting a weakest precondition calculus for counterexample generation [J] . Dailler Sylvain, Hauzar David, Marche Claude, Journal of Logic and Algebraic Programming . 2018,第OCTa期

机译：检测最弱的前提演算以生成反例
2. Some Investigations on Deadlock Freedom Issues of a Cyclically Connected System Using Dijkstra's Weakest Precondition Calculus [J] . Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2007,第5期

机译：用Dijkstra最弱前提条件演算对循环连接系统的死锁自由问题的一些研究
3. Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODES [J] . Michele Boreale Science of Computer Programming . 2020,第Jul1期

机译：多项式ODES中代数最强后置条件和最弱先决条件的完整算法
4. Weakest preconditions for applied π-calculus [C] . Decai Jiao, David Sinclair International Multi-Conference on Computing in the Global Information Technology . 2007

机译：应用π微分的最薄弱的前提
5. Combining phylogenetic rarity with species distribution and abundance for conservation: Applying the 'calculus of biodiversity' in Canadian butterflies. [D] . Tulen, Lisa A. 2006

机译：将系统发育稀有性与物种分布和丰富性相结合，以进行保护：在加拿大蝴蝶中应用“生物多样性演算”。
6. Protein kinase Cϵ interacts with cytochrome c oxidase subunit IV and enhances cytochrome c oxidase activity in neonatal cardiac myocyte preconditioning [O] . Mourad Ogbi, John A. Johnson 2006

机译：蛋白激酶Cϵ与细胞色素c氧化酶亚基IV相互作用并增强新生儿心肌细胞预处理中的细胞色素c氧化酶活性
7. Instrumenting a weakest precondition calculus for counterexample generation [O] . Sylvain Dailler, David Hauzar, Claude Marché, 2018

机译：为反例产生仪器最弱的前提结算
8. Semantics, Orderings and Recursion in the Weakest Precondition Calculus [R] . Bonsangue, M., Kok, J. N. 1992

机译：最弱前置微积分中的语义，排序和递归

A weakest precondition calculus for BUnity

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅