Ganai M. SAT-based scalable formal verification solutions / M. Ganai, A. Gupta, 2007 r=on-line. - Текст : электронный.