LBTT is an LTL-to-B├╝chi translator testbench available here.

Spot uses it to verify its LTL translators as well as other automata reduction algorithms. The version of LBTT distributed with Spot (GetSpot) is slightly modified (lbtt-translate has a --spot option).

LBTT (last edited 2004-08-13 13:27:35 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.