Simple Bounded LTL Model Checking

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på värdpublikation	Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004
Utgivningsdatum	2004
Sidor	186-200
ISBN (tryckt)	3-540-23738-0
Status	Publicerad - 2004
Externt publicerad	Ja
MoE-publikationstyp	A4 Artikel i en konferenspublikation

Vetenskapsgrenar

@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 -