单片机

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

数学参考文献,1标准件)

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

  1. Heußner,Alexander;Le Gall,Tristan;Sutre,Grégoire:McScM:通信机器验证的通用框架(2012)ioport公司