TY - JOUR
T1 - Model checking software: on some new waves and some evergreens
AU - Bosnacki, D.
AU - Edelkamp, S.
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
U2 - 10.1007/s10009-010-0155-9
DO - 10.1007/s10009-010-0155-9
M3 - Article
SN - 1433-2779
VL - 12
SP - 89
EP - 95
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 2
ER -