互模拟检测论文

一种扩展的并发传值进程抽象模型
论文摘要形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。对于并发...