Sciweavers

FMCAD
2004
Springer

Simple Bounded LTL Model Checking

13 years 9 months ago
Simple Bounded LTL Model Checking
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-formula has a linear number of variables and clauses.
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FMCAD
Authors Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila
Comments (0)