By Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
This e-book constitutes the refereed lawsuits of the fifteenth foreign SPIN workshop on version Checking software program, SPIN 2008, held in l. a., CA, united states, in August 2008.
The 17 revised complete papers awarded including 1 device paper and four invited talks have been conscientiously reviewed and chosen from forty-one submissions. the main target of the workshop sequence is software program platforms, together with types and courses. The papers conceal theoretical and algorithmic foundations in addition to instruments for software program version checking and foster interactions and exchanges of principles with comparable parts in software program engineering, reminiscent of static research, dynamic research, and testing.