Party Parameterized Synthesis of Token Rings

机译：方参数化令牌环的合成

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Synthesis is the process of automatically constructing an implementation from a specification. In parameterized synthesis, we construct a single process such that the distributed system consisting of an arbitratry number of copies of the process satisfies a parameterized specification. In this paper, we present Party, a tool for parameterized synthesis from specifications in indexed linear temporal logic. Our approach extends SMT-based bounded synthesis, a flexible method for distributed synthesis, to parameterized specifications. In the current version, Party can be used to solve the parameterized synthesis problem for token-ring architectures. The tool can also synthesize monolithic systems, for which we provide a comparison to other state-of-the-art synthesis tools.

机译：综合是根据规范自动构造实现的过程。在参数化综合中，我们构造了一个流程，以使由该流程的任意份数组成的分布式系统满足参数化规范。在本文中，我们介绍了Party，一种用于从索引线性时序逻辑中的规范进行参数化综合的工具。我们的方法将基于SMT的有界综合（一种灵活的分布式综合方法）扩展到参数化规范。在当前版本中，Party可用于解决令牌环体系结构的参数化综合问题。该工具还可以合成整体系统，为此，我们可以与其他最新的综合工具进行比较。

著录项

来源
《Computer aided verification》|2013年|928-933|共6页
会议地点 Saint Petersburg(RU)
作者
Ayrat Khalimov; Swen Jacobs; Roderick Bloem;
展开▼
作者单位

Graz University of Technology, Austria;

Graz University of Technology, Austria;

Graz University of Technology, Austria;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. On Girth and the Parameterized Complexity of Token Sliding and Token Jumping [J] . Bartier Valentin, Bousquet Nicolas, Dallard Clement, Algorithmica . 2021,第9期

机译：令牌滑动与令牌跳跃的扭矩与参数化复杂性
2. On Girth and the Parameterized Complexity of Token Sliding and Token Jumping [J] . Valentin Bartier, Nicolas Bousquet, Clment Dallard, LIPIcs : Leibniz International Proceedings in Informatics . 2020,第2期

机译：令牌滑动和令牌跳跃的围绕与参数化复杂性
3. Multiple logical token-rings in a single high-speed ring [J] . Cohen R., Segall A. IEEE Transactions on Communications . 1994,第2期

机译：单个高速环中的多个逻辑令牌环
4. PARTY Parameterized Synthesis of Token Rings [C] . Ayrat Khalimov, Swen Jacobs, Roderick Bloem International Conference on Computer Aided Verification . 2013

机译：党参数化令牌戒指的合成
5. High regioselective ring -opening /cross metathesis of norbornene derivatives and ring -opening /ring -closing metathesis and their applications towards total synthesis of rostratins and synthesis of acid sensing ion channel inhibitors [D] . Liu, Zhuqing 2007

机译：降冰片烯衍生物的高区域选择性开环/交叉易位和开环/闭环易位及其在角蛋白的全合成和酸敏感离子通道抑制剂的合成中的应用
6. The Token Ring Local Area Network: Implementation Considerations [O] . George S. Conklin, Paul D. Clayton, Soumitra Sengupta, 1988

机译：令牌环局域网：实现注意事项
7. A large token-ring control network for the CERN LEP and SPS accelerators and collider rings [O] . Rausch, R 1986

机译：用于CERN LEP和SPS加速器和对撞机环的大型令牌环控制网络
8. Universal Channel Network, or Combining the Best of Token Ring and Slotted Ring [R] . Pasch, H. L., Niemegeers, I. G. 1992

机译：通用频道网络，或结合最佳令牌环和时隙环

Party Parameterized Synthesis of Token Rings

摘要

著录项

相似文献

相关主题

期刊订阅