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