BMC via on-the-fly Determinization

Toni Jussila, Keijo Heljanko, Ilkka Niemelä

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

4 Citations (Scopus)

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

Keywords

@article{23e74c96be414d0c8ffc3707831768e8,

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",

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

SN - 1571-0661

VL - 89

SP - 561

EP - 577

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 4

ER -