拉杜·马特埃斯库 布尔方程系统的高效诊断生成。 （英文） 兹伯利0960.68118 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1785, 251-265 (2000). 摘要：布尔方程系统（BES）为并发有限状态系统的验证提供了一个有用的框架。实际上，最好BES分辨率也能产生诊断信息，最好以简洁的方式解释为给定BES变量计算的真值。使用BES的表示作为扩展布尔图，我们提出了完整诊断（即示例和反例）的特征描述，作为与BES关联的EBG的一类特殊子图。我们提供了在线性时间内计算示例和反例的算法，并可直接用于使用诊断生成设备扩展已知（全局或局部）BES分辨率算法。关于整个系列，请参见[Zbl 0935.00048号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：布尔方程系统;并发有限状态系统 软件：CADP公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}，莱克特。注释计算。科学。1785，251--265（2000；Zbl 0960.68118）