Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.

Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds

Browse the full IJCAI paper archive.