Exploiting step semantics for efficient bounded model checking of asynchronous systems

Jori Dubrovin, Tommi Junttila, Keijo Heljanko

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    6 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut1095-1121
    JulkaisuScience of Computer Programming
    Vuosikerta77
    Numero10-11
    DOI - pysyväislinkit
    TilaJulkaistu - 2012
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • asynchronous systems
    • bounded model checking
    • process semantics
    • SMT
    • step encodings

    Siteeraa tätä