An Experimental Comparison of Theorem Provers for CTL.

Rajeev Gor, Jimmy Thomson, Florian Widmann

Browse the full TIME paper archive.