A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into Büchi Automata

H. Tauriainen

A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into Büchi Automata

H. Tauriainen

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

Original language	English
Title of host publication	Concurrency, Specification and Programming (CS&P'99), Warsaw, Poland, 28.-30.9.1999
Editors	H-D. Burkhard, L. Czaja, H-S. Nguyen, P. Starke
Place of Publication	Warsaw, Poland
Pages	251-262
Publication status	Published - 1999
MoE publication type	A4 Conference publication

Keywords

algorithm testing
büchi automata
linear temporal logic

Cite this

@inproceedings{9b82ddbd67394687a55f08807a5283ff,

title = "A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into B{\"u}chi Automata",

keywords = "algorithm testing, b{\"u}chi automata, linear temporal logic, algorithm testing, b{\"u}chi automata, linear temporal logic, algorithm testing, b{\"u}chi automata, linear temporal logic",

author = "H. Tauriainen",

year = "1999",

language = "English",

pages = "251--262",

editor = "H-D. Burkhard and L. Czaja and H-S. Nguyen and P. Starke",

booktitle = "Concurrency, Specification and Programming (CS\&P'99), Warsaw, Poland, 28.-30.9.1999",

}

A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into Büchi Automata. / Tauriainen, H.
Concurrency, Specification and Programming (CS&P'99), Warsaw, Poland, 28.-30.9.1999. ed. / H-D. Burkhard; L. Czaja; H-S. Nguyen; P. Starke. Warsaw, Poland, 1999. p. 251-262.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - A Randomized Testbench for Algorithms Translating Linear Temporal Logic Formulae into Büchi Automata

AU - Tauriainen, H.

PY - 1999

Y1 - 1999

KW - algorithm testing

KW - büchi automata

KW - linear temporal logic

KW - algorithm testing

KW - büchi automata

KW - linear temporal logic

KW - algorithm testing

KW - büchi automata

KW - linear temporal logic

M3 - Conference article in proceedings

SP - 251

EP - 262

BT - Concurrency, Specification and Programming (CS&P'99), Warsaw, Poland, 28.-30.9.1999

A2 - Burkhard, H-D.

A2 - Czaja, L.

A2 - Nguyen, H-S.

A2 - Starke, P.

CY - Warsaw, Poland

ER -