Towards formal verification of ToolBus scripts

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)


    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.
    Original languageEnglish
    Title of host publicationAlgebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings)
    EditorsJ. Meseguer, G. Rosu
    Place of PublicationBerlin
    ISBN (Print)978-3-540-79979-5
    Publication statusPublished - 2008

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Towards formal verification of ToolBus scripts'. Together they form a unique fingerprint.

    Cite this