Searching for "Simple Bounded LTL Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

T.: Simple bounded LTL model checking
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, C Timo Latvala, Armin Biere, Armin Biere, Armin Biere, Keijo Heljanko, Keijo Heljanko, Keijo Heljanko, Tommi Junttila, Tommi Junttila, Tommi Junttila, Multiprint Oy — 2004 — In: FMCAD. Volume 3312 of LNCS
…:Wepresentanewandverysimpletranslationoftheboundedmodelcheckingproblemwhichislinearbothinthesizeoftheformulaand thelengthofthebound.TheresultingCNF-formulahasalinearnumberofvariablesandclauses. KEYWORDS:LTL,BoundedModelChecking…
Cited by 9 (4 self) – Add To MetaCart

Automata-theoretic and bounded model checking for linear temporal logic
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, C Timo Latvala, Multiprint Oy — 2005
… propositional encodings for bounded model checking LTL. A new simple linear sized encoding is developed…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB