@Inproceedings{EPTCS219.1, author = {Beyene, Tewodros A. and Popeea, Corneliu and Rybalchenko, Andrey }, year = {2016}, title = {Efficient CTL Verification via Horn Constraints Solving}, editor = {Gallagher, John P. and R\"ummer, Philipp}, booktitle = {{\rm Proceedings 3rd Workshop on} Horn Clauses for Verification and Synthesis, {\rm Eindhoven, The Netherlands, 3rd April 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {219}, publisher = {Open Publishing Association}, pages = {1-14}, doi = {10.4204/EPTCS.219.1}, }