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

by K Qian, A Nymeyer
Venue:In Tools and Algorithms for the Construction and Analysis of Systems