Implementing LTL Model Checking with Net Unfoldings

Javier Esparza, Keijo Heljanko

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    Otsikko8th International SPIN Workshop on Model Checking of Software, Toronto, Canada, May 19-20, 2001
    ToimittajatM.B. Dwyer
    JulkaisupaikkaBerlin
    Sivut37-56
    TilaJulkaistu - 2001
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • LTL
    • model checking
    • net unfoldings
    • Petri nets
    • tableau systems

    Siteeraa tätä