BMC via on-the-fly Determinization

Toni Jussila, Keijo Heljanko, Ilkka Niemelä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut561-577
    Sivumäärä17
    JulkaisuELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
    Vuosikerta89
    Numero4
    DOI - pysyväislinkit
    TilaJulkaistu - 2003
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • bounded model checking
    • verification

    Siteeraa tätä