Guided invariant model checking based on abstraction and symbolic pattern databases (0)

by Kairong Qian, Albert Nymeyer
Venue:Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), volume 2988 of LNCS