...
首页> 外文期刊>Information and computation >Abstract interpretation based verification of temporal properties for BioAmbients
【24h】

Abstract interpretation based verification of temporal properties for BioAmbients

机译:基于抽象解释的生物环境时间特性验证

获取原文
   

获取外文期刊封面封底 >>

       

摘要

This paper concerns the application of formal methods to biological systems, modeled specifically in BioAmbients, a variant of the Mobile Ambients calculus. Following the semantic-based approach of abstract interpretation, we define a new static analysis that computes an abstract transition system. Our analysis has two main advantages with respect to the analyses appearing in the literature: (ⅰ) it is able to address temporal properties which are more general than invariant properties; (ⅱ) it supports, by means of a particular labeling discipline, the validation of systems where several copies of an ambient may appear.rnWe also design new weaker and more efficient analyses by means of simple widening operators.
机译:本文涉及正式方法在生物系统中的应用,特别是在BioAmbients(移动环境演算的一种变体)中建模。遵循基于语义的抽象解释方法,我们定义了一个计算抽象过渡系统的新静态分析。就文献中出现的分析而言,我们的分析有两个主要优点:(ⅰ)它能够处理比不变性更普遍的时间性; (ⅱ)它通过特定的标记规则支持对可能出现多个环境副本的系统的验证。我们还通过简单的加宽运算符设计了新的更弱和更有效的分析。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号