Correct and efficient antichain algorithms for refinement checking

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    Refinement checking plays an important role in system verification. This means that the correctness of the system is established by showing a refinement relation between two models; one for the implementation and one for the specification. In [21], Wang et al. describe an algorithm based on antichains for efficiently deciding stable failures refinement and failures-divergences refinement. We identify several issues pertaining to the correctness and performance in these algorithms and propose new, correct, antichain-based algorithms. Using a number of experiments we show that our algorithms outperform the original ones in terms of running time and memory usage.

    Originele taal-2Engels
    TitelFormal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings
    RedacteurenNobuko Yoshida, Jorge A. Pérez
    Plaats van productieCham
    UitgeverijSpringer
    Pagina's185-203
    Aantal pagina's19
    ISBN van elektronische versie978-3-030-21759-4
    ISBN van geprinte versie978-3-030-21758-7
    DOI's
    StatusGepubliceerd - 29 mei 2019
    EvenementFormal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 - DTU Lyngby, Kongens Lyngby, Denemarken
    Duur: 17 jun 201921 jun 2019
    Congresnummer: 2019
    https://www.discotec.org

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume11535
    ISSN van geprinte versie0302-9743
    ISSN van elektronische versie1611-3349

    Congres

    CongresFormal Techniques for Distributed Objects, Components, and Systems
    Verkorte titelFORTE
    LandDenemarken
    StadKongens Lyngby
    Periode17/06/1921/06/19
    Internet adres

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Correct and efficient antichain algorithms for refinement checking'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit