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

Heikki Tauriainen

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

Heikki Tauriainen

Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

Alkuperäiskieli	Englanti
Painos	versio 1.1
Tila	Julkaistu - 2004
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tutkimusalat

Büchi automata
linear time temporal logic
software testing

Muut tiedostot ja linkit

http://www.tcs.hut.fi/Software/lbtt/

Siteeraa tätä

@misc{292bb197ea404b718fe6498fb621ebd0,

title = "lbtt - 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 = "2004",

language = "English",

edition = "versio 1.1",

}

TY - ADVS

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

AU - Tauriainen, Heikki

PY - 2004

Y1 - 2004

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/Software/lbtt/

M3 - Software

ER -