Efficient Model Checking of PSL Safety Properties

Tuomas Launiainen, Keijo Heljanko, Tommi Junttila

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    Sivut479-492
    JulkaisuIET COMPUTERS AND DIGITAL TECHNIQUES
    Vuosikerta5
    Numero6
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • bug hunting tool
    • industrial property specification language
    • model checking
    • NuSMV 2
    • open source model
    • PSL
    • safety properties

    Siteeraa tätä