Ebook Verification, Model Checking, And Abstract Interpretation: 17Th International Conference, Vmcai 2016, St. Petersburg, Fl, Usa, January 17 19, 2016. Proceedings