Eliminating Redundant Interleavings During Concurrent Program Verification
Eliminating Redundant Interleavings During Concurrent Program Verification
复制标题
消除并发程序验证期间的冗余交错
DOI：
--
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
A. Valmari
中科院分区：
文献类型：
--
作者：
A. Valmari
本文提出了一种方法，以减少并发系统的分析或验证的穷举模拟或相关方法时，调查的并发动作的交织的数量。消除冗余的交错可以显著节省分析工作。该方法背后的理论是在一个抽象的框架中开发的。基本Petri网和共享变量多进程程序，然后作为应用实例。简要讨论了该方法与其他约简方法的关系。
The paper presents a way of reducing the number of interleavings of concurrent actions that are investigated when concurrent systems are analysed or verified by exhaustive simulation or related methods. Eliminating redundant interleavings can lead to significant savings of analysis effort. The theory behind the method is developed in an abstract framework. Elementary Petri nets and shared variable multi-process programs are then used as application examples. The relation of the method to other reduction methods is briefly discussed.