Verifying large modular systems using iterative abstraction refinement

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)120-130
JournalReliability Engineering and System Safety
Volume139
Publication statusPublished - 2015
MoE publication typeA1 Journal article-refereed

    Research areas

  • iterative abstraction refinement, model checking, validation, verification

ID: 2005780