Proceedings of the 8th international SPIN workshop on Model checking of software