Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking

Tommi Junttila, Jori Dubrovin

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    3 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoLogic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)
    ToimittajatIliano Cervesato, Helmut Veith, Andrei Voronkov
    Sivut290-304
    TilaJulkaistu - 2008
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • bounded model checking
    • queues
    • satisfiability modulo theories
    • software verification

    Siteeraa tätä