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