Efficient Model Checking of PSL Safety Properties

Tuomas Launiainen, Keijo Heljanko, Tommi Junttila

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalIET Computers and Digital Techniques
Issue number6
Pages (from-to)479-492
Publication statusPublished - 2011
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • bug hunting tool
  • industrial property specification language
  • model checking
  • NuSMV 2
  • open source model
  • PSL
  • safety properties

Cite this