Applying Predicate Abstraction to State Machines

机译：将谓词抽象应用于状态机

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

State Machines (ASMs) represent a general model of computation which subsumes all other classic computational models. Since the notion of ASM state naturally captures the classic notion of program state, ASMs are suitable to be verified through a predicate abstraction approach. The aim of this paper is to discuss how predicates over ASM states can support the formal verification of ASM-based models. The proposal can overcome the main limitations that penalize traditional model checking techniques applied to ASMs.

机译：状态机（ASM）代表一种通用的计算模型，该模型包含所有其他经典的计算模型。由于ASM状态的概念自然地抓住了程序状态的经典概念，因此ASM适合通过谓词抽象方法进行验证。本文的目的是讨论基于ASM状态的谓词如何支持基于ASM的模型的形式验证。该提议可以克服惩罚适用于ASM的传统模型检查技术的主要限制。

著录项

来源
《Enterprise, business-process and information systems modeling》|2015年|283-292|共10页
会议地点 Stockholm(SE)
作者
Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio;
展开▼
作者单位

Department of Informatics, University of Bari, 70125, Bari, Italy;

Department of Informatics, University of Bari, 70125, Bari, Italy;

Department of Informatics, University of Bari, 70125, Bari, Italy;

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

相似文献

外文文献
中文文献
专利

1. Distinguishing extended finite state machine configurations using predicate abstraction [J] . Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Journal of Software Engineering Research and Development . 2016,第1期

机译：使用谓词抽象区分扩展有限状态机配置
2. Predicate Abstraction with Indexed Predicates [J] . SHUVENDU K. LAHIRI, RANDAL E. BRYANT ACM transactions on computational logic . 2008,第1期

机译：带有索引谓词的谓词抽象
3. Multivariate cross-classification: applying machine learning techniques to characterize abstraction in neural representations [J] . Jonas T. Kaplan, Kingson Man, Steven G. Greening Frontiers in Human Neuroscience . 2015,第1期

机译：多元交叉分类：应用机器学习技术表征神经表示中的抽象
4. Applying Predicate Abstraction to State Machines [C] . Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio Enterprise, business-process and information systems modeling . 2015

机译：将谓词抽象应用于状态机
5. Applying abstraction to master complexity: The comparison of abstraction ability in computer science majors with students in other disciplines. [D] . Hill, Jonathan H. 2007

机译：将抽象应用于掌握复杂性：将计算机科学专业的抽象能力与其他学科的学生进行比较。
6. Multivariate cross-classification: applying machine learning techniques to characterize abstraction in neural representations [O] . Jonas T. Kaplan, Kingson Man, Steven G. Greening 2015

机译：多元交叉分类：应用机器学习技术表征神经表示中的抽象
7. Distinguishing extended finite state machine configurations using predicate abstraction [O] . 2016

机译：使用谓词抽象区分扩展有限状态机配置

Applying Predicate Abstraction to State Machines

摘要

著录项

相似文献

相关主题

期刊订阅