This file documents how to use the LTL-to-Büchi translator testbench lbtt.
Copyright © 2005 Heikki Tauriainen
Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies.
Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided also that the section entitled “GNU General Public License” is included exactly as in the original, and provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.
Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions.
lbtt is a tool for testing implementations of algorithms for translating propositional linear temporal logic formulas into Büchi automata.
This is edition 1.2.0 of the lbtt documentation. This edition applies to lbtt versions 1.2.x.
lbtt is free software, you may change and redistribute it under the terms of the GNU General Public License. lbtt comes with NO WARRANTY. See Copying for details.