Simple Bounded LTL Model Checking.

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila

Browse the full FMCAD paper archive.