Testing LTL Formula Translation into Büchi Automata

Heikki Tauriainen; Keijo Heljanko

Testing LTL Formula Translation into Büchi Automata

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	International Journal on Software Tools for Technology Transfer
Volume	4
Issue number	1
Pages (from-to)	57-70
ISSN	1433-2779
Publication status	Published - 2002
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Fields of Science

model checking
software testing
temporal logic
verification

Cite this

@article{ab7c74fe15d24f0f9ef823c170ace3df,

title = "Testing LTL Formula Translation into B{\"u}chi Automata",

keywords = "model checking, software testing, temporal logic, verification, model checking, software testing, temporal logic, verification, model checking, software testing, temporal logic, verification",

author = "Heikki Tauriainen and Keijo Heljanko",

year = "2002",

language = "English",

volume = "4",

pages = "57--70",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Testing LTL Formula Translation into Büchi Automata

AU - Tauriainen, Heikki

AU - Heljanko, Keijo

PY - 2002

Y1 - 2002

KW - model checking

KW - software testing

KW - temporal logic

KW - verification

KW - model checking

KW - software testing

KW - temporal logic

KW - verification

KW - model checking

KW - software testing

KW - temporal logic

KW - verification

M3 - Article

VL - 4

SP - 57

EP - 70

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 1

ER -