243 followers Verification papers @verif_papers CTL Model Checking in Deduction Modulo. - Kailiang Ji http://t.co/a1YsDUfobX 01 Aug 2015 Reply Repost Favourite