Exploiting resolution proofs to speed up LTL vacuity detection for BMC

Simmonds, Jocelyn.; Davies, Jessica; Gurfinkel, Arie; Chechik, Marsha

Más información

Título de la Revista: Springer International Journal of Software Tools for Technology Transfer
Volumen: 12
Número: 5
Fecha de publicación: 2010
Página de inicio: 319
Página final: 335
Notas: -