Model checking software: on some new waves and some evergreens

D. Bosnacki, S. Edelkamp

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

4 Citaten (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.
Originele taal-2Engels
Pagina's (van-tot)89-95
TijdschriftInternational Journal on Software Tools for Technology Transfer
Nummer van het tijdschrift2
StatusGepubliceerd - 2010


Duik in de onderzoeksthema's van 'Model checking software: on some new waves and some evergreens'. Samen vormen ze een unieke vingerafdruk.

Citeer dit