Kristin Y. Rozier
These pages contain further details of the experiments described in ``LTL Satisfiability Checking'' by K.Y.Rozier and M.Y.Vardi.
All of the software available for download on this page was written by Kristin Yvonne Rozier. It is released under a NASA Software Agreement. Please feel free to email me concerning clarifications, bugs, or other corrections.