Simple Is Better: Efficient Bounded Model Checking for Past LTL.

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

Browse the full VMCAI paper archive.