Incremental and Complete Bounded Model Checking for Full PLTL

Keijo Heljanko, Tommi Junttila, TImo Latvala

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    52 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoComputer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005
    ToimittajatKousha Etessami, Sriram K. Rajamani
    Sivut98-111
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • bounded model checking
    • incremental satisfiability checking
    • linear time temporal logic
    • model checking
    • propositional satisfiability
    • verification

    Siteeraa tätä