Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala, Viktor Schuppan

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Issue number5:5
Pages (from-to)1-64
Publication statusPublished - 2006
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • Bounded Model Checking
  • Liveness to Safety
  • LTL
  • NuSMV
  • PLTL

Cite this