萨米·伊万格利斯塔;克劳德·凯泽;Jean-François,Pradat-Peyre;卢梭,皮埃尔 类星体:用于并发Ada程序分析的新工具。 (英语) Zbl 1032.68849号 Rosen,Jean-Pierre(编辑)等人,《可靠的软件技术——Ada-Europe 2003》。第八届Ada-Europe可靠软件技术国际会议,法国图卢兹,2003年6月16-20日。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。2655, 168-181 (2003). 概要:并发引入了高度的组合,这可能是细微错误的根源。我们提出了一种新的工具,Quasar,它基于ASIS,充分利用了模式的概念。我们的工具对并发Ada程序的分析分为四个步骤:自动提取程序的并发部分;使用通过替换和合并构造函数组合的预定义模式将简化程序转换为正式模型;通过结构技术和模型检查技术对模型进行分析;报告僵局或饥饿结果。我们通过分析一个非平凡并发程序的几个变体来证明类星体的有用性。有关整个系列,请参见[Zbl 1020.68865号]. 引用于1文件 MSC公司: 68单位99 计算方法和应用 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 软件:类星体;班德拉 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人,莱克特。注释计算。科学。2655168--181(2003年;Zbl 1032.68849) 全文: 链接