Simple Bounded LTL Model Checking

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila

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

Original language	English
Title of host publication	Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004
Publication date	2004
Pages	186-200
ISBN (Print)	3-540-23738-0
Publication status	Published - 2004
Externally published	Yes
MoE publication type	A4 Article in conference proceedings

Fields of Science

@inproceedings{c4515c7102f54b21ba4e10f183d204be,

title = "Simple Bounded LTL Model Checking",

keywords = "Bounded model checking,, LTL, NuSMV, Bounded model checking,, LTL, NuSMV, Bounded model checking,, LTL, NuSMV",

author = "Timo Latvala and Armin Biere and Keijo Heljanko and Tommi Junttila",

year = "2004",

language = "English",

isbn = "3-540-23738-0",

pages = "186--200",

booktitle = "Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004",

}

TY - GEN

T1 - Simple Bounded LTL Model Checking

AU - Latvala, Timo

AU - Biere, Armin

AU - Heljanko, Keijo

AU - Junttila, Tommi

PY - 2004

Y1 - 2004

KW - Bounded model checking,

KW - LTL

KW - NuSMV

KW - Bounded model checking,

KW - LTL

KW - NuSMV

KW - Bounded model checking,

KW - LTL

KW - NuSMV

M3 - Conference contribution

SN - 3-540-23738-0

SP - 186

EP - 200

BT - Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004

ER -