Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software