Efficient Model Checking of PSL Safety Properties

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)479-492
JournalIET COMPUTERS AND DIGITAL TECHNIQUES
Volume5
Issue number6
Publication statusPublished - 2011
MoE publication typeA1 Journal article-refereed

    Research areas

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

ID: 795191