Simple Bounded LTL Model Checking

Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004
Julkaisupäivä	2004
Sivut	186-200
ISBN (painettu)	3-540-23738-0
Tila	Julkaistu - 2004
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Tieteenalat

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