Exploiting step semantics for efficient bounded model checking of asynchronous systems

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)1095-1121
JournalScience of Computer Programming
Volume77
Issue number10-11
Publication statusPublished - 2012
MoE publication typeA1 Journal article-refereed

    Research areas

  • asynchronous systems, bounded model checking, process semantics, SMT, step encodings

ID: 704222