Model checking software: on some new waves and some evergreens

D. Bosnacki, S. Edelkamp

Research output: Contribution to journalArticleAcademic

4 Citations (Scopus)


This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 13th International Workshop Model Checking Software SPIN 2007. We give a brief overview of the field of software model checking with emphasis on topics that are covered by the selected papers. In our focus are some emerging trends like multi-core model checking together with new high-quality model checking tools, as well as subjects that remain challenging virtually since the establishing of the discipline, like partial-order reduction and abstraction.
Original languageEnglish
Pages (from-to)89-95
JournalInternational Journal on Software Tools for Technology Transfer
Issue number2
Publication statusPublished - 2010


Dive into the research topics of 'Model checking software: on some new waves and some evergreens'. Together they form a unique fingerprint.

Cite this