BMC via on-the-fly Determinization

Toni Jussila, Keijo Heljanko, Ilkka Niemelä

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

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	89
Issue number	4
Pages (from-to)	561-577
ISSN	1571-0661
DOIs	https://doi.org/10.1016/S1571-0661(05)82543-5
Publication status	Published - 2003
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Fields of Science

@article{4231f8b1cb58458ba97b27214d643c6b,

title = "BMC via on-the-fly Determinization",

keywords = "bounded model checking, verification, bounded model checking, verification, bounded model checking, verification",

author = "Toni Jussila and Keijo Heljanko and Ilkka Niemel{\"a}",

year = "2003",

doi = "10.1016/S1571-0661(05)82543-5",

language = "English",

volume = "89",

pages = "561--577",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier Scientific Publ. Co",

number = "4",

}

TY - JOUR

T1 - BMC via on-the-fly Determinization

AU - Jussila, Toni

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

PY - 2003

Y1 - 2003

KW - bounded model checking

KW - verification

KW - bounded model checking

KW - verification

KW - bounded model checking

KW - verification

U2 - 10.1016/S1571-0661(05)82543-5

DO - 10.1016/S1571-0661(05)82543-5

M3 - Article

VL - 89

SP - 561

EP - 577

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 4

ER -