Efficient CTL Verification via Horn Constraints Solving

Tewodros Beyene, Corneliu Popeea und Andrey Rybalchenko

HCVS@ETAPS,

2016