Invariants in symbolic modeling and verification of requirements

机译：符号建模和需求验证中的不变量

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The paper presents the usage of invariants technique for symbolic modeling and verification of requirements for reactive systems. It includes checking of the safety, completeness, liveness, and consistency properties, deadlocks and livelocks detection. The paper describes the iterative method of double approximation and the method of undetermined coefficients for invariants generation. Benefits, disadvantages and comparison of this technique with existing methods are considered. The paper is illustrated by examples of invariants technique usage for symbolic verification.

机译：本文介绍了不变量技术在符号建模和反应系统需求验证中的应用。它包括检查安全性，完整性，活动性和一致性属性，死锁和活锁检测。本文描述了双近似的迭代方法和不确定性生成系数的不确定方法。考虑了该技术的优点，缺点和与现有方法的比较。本文通过不变量技术用于符号验证的示例进行了说明。

著录项

来源
《Ninth International Conference on Computer Science and Information Technologies》|2013年|1-6|共6页
会议地点 Yerevan(AM)
作者
Letichevsky Alexander; Godlevsky Alexander; Guba Anton; Kolchin Alexander;
展开▼
作者单位

V.M. Glushkov Institute of Cybernetics, Kiev, Ukrainec;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
Invariants; basic protocols; lower and upper approximation; requirements; symbolic modeling; verification;

机译：不变量;基本协议;上下近似;要求;符号建模;验证;;

相似文献

外文文献
中文文献
专利

1. The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination [J] . Automatic Control and Computer Sciences . 2019,第7期

机译：循环不变消除符号方法C程序验证的自动化
2. A symbolic program for parameter identifiability analysis in systems modeled via equivalent linear time‐invariant electrical circuits, with application to electromagnetic harvesters [J] . GiuseppeFontana, FrancescoGrasso, AntonioLuchetta, International journal of numerical modelling . 2019,第4期

机译：通过等效线性时不变电路建模的系统中用于参数可识别性分析的符号程序，适用于电磁采集器
3. A symbolic program for parameter identifiability analysis in systems modeled via equivalent linear time‐invariant electrical circuits, with application to electromagnetic harvesters [J] . GiuseppeFontana, FrancescoGrasso, AntonioLuchetta, International journal of numerical modelling . 2019,第4期

机译：通过等效线性时间不变电路建模的系统中参数可识别性分析的符号程序，应用于电磁收割机
4. Invariants in Symbolic Modeling and Verification of Requirements [C] . Alexander Letichevsky, Alexander Godlevsky, Anton Guba, International Conference on Computer Science and Information Technologies . 2013

机译：在符号建模和要求验证中不变
5. Event modeling and verification of chemical processes using symbolic model checking. [D] . Turk, Adam Leslie. 1999

机译：使用符号模型检查对化学过程进行事件建模和验证。
6. Symbolic method in invariant theory [O] . Gian-Carlo Rota, Joel A. Stein 1986

机译：不变理论中的符号法
7. Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier [O] . Vivek Vishal, Sagar Gugwad, Sanjay Singh 2014

机译：基于符号模型验证器的agent自适应交通信号建模与验证
8. Verification of Java Programs using Symbolic Execution and Invariant Generation [R] . Pasareanu, Corina, Visser, Willem 2004

机译：使用符号执行和不变生成验证Java程序

Invariants in symbolic modeling and verification of requirements

摘要

著录项

相似文献

相关主题

期刊订阅