lbtt 1.0.0 - an LTL-to-Büchi translator testbench

Heikki Tauriainen

lbtt 1.0.0 - an LTL-to-Büchi translator testbench

Heikki Tauriainen

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2001
MoE publication type	I2 ICT applications

Keywords

Büchi automata
linear time temporal logic
software testing

Cite this

@misc{7acef73e205b48a28212adfdbc1bae3f,

title = "lbtt 1.0.0 - an LTL-to-B{\"u}chi translator testbench",

keywords = "B{\"u}chi automata, linear time temporal logic, software testing, B{\"u}chi automata, linear time temporal logic, software testing, B{\"u}chi automata, linear time temporal logic, software testing",

author = "Heikki Tauriainen",

year = "2001",

language = "English",

}

TY - ADVS

T1 - lbtt 1.0.0 - an LTL-to-Büchi translator testbench

AU - Tauriainen, Heikki

PY - 2001

Y1 - 2001

KW - Büchi automata

KW - linear time temporal logic

KW - software testing

KW - Büchi automata

KW - linear time temporal logic

KW - software testing

KW - Büchi automata

KW - linear time temporal logic

KW - software testing

UR - http://www.tcs.hut.fi/%7ehtauriai/lbtt/index.html

M3 - Software

ER -

lbtt 1.0.0 - an LTL-to-Büchi translator testbench

Keywords

Other files and links

Cite this