Towards formal verification of ToolBus scripts

W.J. Fokkink, P. Klint, B. Lisser, Y.S. Usenko

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    ToolBus allows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. Tscript was originally designed to enable formal verification, but this option has so far not been explored in any detail. We present a method for analyzing a Tscript by translating it to the process algebraic language mCRL2, and then applying model checking to verify behavioral properties.
    Originele taal-2Engels
    TitelAlgebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings)
    RedacteurenJ. Meseguer, G. Rosu
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's160-166
    ISBN van geprinte versie978-3-540-79979-5
    DOI's
    StatusGepubliceerd - 2008

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume5140
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Towards formal verification of ToolBus scripts'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit