Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part I
scientific article