Bounded LTL Model Checking with Stable Models

Keijo Heljanko, Ilkka Niemelä

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalTheory and Practice of Logic Programming
Volume3
Issue number4 & 5
Pages (from-to)519-550
ISSN1471-0684
DOIs
Publication statusPublished - 2003
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • bounded model checking
  • LTL
  • stable models
  • step semantics

Cite this