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

by K Qian, A Nymeyer
Venue:in: Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-04