Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
DATE（2003）
摘要
We present a hybrid methodology that combines simulation and symbolic traversal in order to improve invariant checking. The methodology concentrates on concurrent systems, whose peculiarities are not fully exploited by other existing techniques for hybrid verification. Our approach exploits the information obtained from simulations to improve the knowledge of the state space, effectively guiding symbolic traversal.
更多查看译文
关键词
concurrent systems,concurrent system,hybrid methodology,guided traversal,combining simulation,existing technique,hybrid verification,state space,invariant checking,symbolic traversal,design,floorplanning,discrete event simulation,computer simulation,invariance,causality,computational modeling,feedback,hierarchical,network flow,management,protocols,algorithms,computational complexity,formal verification,network protocols,simulated annealing,distributed processing,distributed systems,computer architecture
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要