Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
Enric Pastor, M.A. Peña · 2003
We present a hybrid methodology that combines simu-lation and symbolic traversal in order to improve invari-ant 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 im-prove the knowledge of the state space, effectively guiding symbolic traversal. 1.