单片机

McScM:一个通用的通信机验证框架。我们提出了McScM,一个实现和比较验证算法的平台,用于在可靠的无界FIFO信道上交换消息的有限状态进程。McScM为这些无限状态模型的安全验证和控制器综合提供了工具。我们的验证工具实现了几种模型检查技术:具有不同抽象细化方法的CEGAR、抽象解释、抽象规则模型检查和惰性抽象。McScM被视为具有有限控制/无限数据的过渡系统类的通用框架,它提供了实现验证算法的基本基础设施,以及在高抽象级别上方便地实现新思想的特权。它还允许我们比较和基准不同的算法方法在同一个后端。

zbMATH中的参考文献(参考文献1条,1标准件)

显示结果1/1。
按年份排序(引用)

  1. 高浓缩铀ß尼尔,亚历山大;特里斯坦勒加尔;萨特,希腊égoire:McScM:通信机器验证的通用框架(2012)ioport公司