Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA

Authors
Publication date
22 July 2019
Publisher
HAL CCSD

Abstract

International audienc

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL AMU

    redirect
    oaioai:HAL:hal-02372283v1
    Last time updated on 05/12/2019

    Archive Ouverte en Sciences de l'Information et de la Communication

    redirect
    oaioai:HAL:hal-02372283v1
    Last time updated on 11/12/2019