lbtt swMATH ID: 29442 Software Authors: H. Tauriainen; K. Heljanko Description: lbtt - an LTL-to-Büchi translator testbench. lbtt is a tool for testing programs that translate formulas expressed in propositional linear temporal logic (LTL) into Büchi automata. The goal of the tool is to assist in the correct implementation of LTL-to-Büchi translation algorithms by providing an automated testing environment for LTL-to-Büchi translators. Additionally, the testing environment can be used for very basic profiling of different LTL-to-Büchi translators to evaluate their performance. Homepage: http://www.tcs.hut.fi/Software/lbtt/ Related Software: LTL2BA; SPOT; SPIN; BuDDy; CUDD; ltlfilt; LBT; autcross; ltlcross; Isabelle; Isabelle/HOL; VIS; Cadence SMV; NuSMV Cited in: 5 Publications all top 5 Cited by 15 Authors 2 Qin, Zheng 2 Shan, Laixiang 1 Chen, Mingshi 1 Du, Xiaomin 1 Duret-Lutz, Alexandre 1 He, Jifeng 1 Larsen, Kim Guldstrand 1 Li, Jianwen 1 Merz, Stephan 1 Pu, Geguang 1 Qin, Jun 1 Schimpf, Alexander 1 Smaus, Jan-Georg 1 Wang, Zheng 1 Zhang, Lijun Cited in 2 Serials 1 Journal of Applied Mathematics 1 Frontiers of Computer Science Cited in 2 Fields 5 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) Citations by Year