Towards formal verification of ToolBus scripts

Authors
Publication date 2008
Host editors
  • J. Meseguer
  • G. Roşu
Book title Algebraic Methodology and Software Technology
Book subtitle 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 : proceedings
ISBN
  • 9783540799795
ISBN (electronic)
  • 9783540799801
Series Lecture Notes in Computer Science
Event 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Urbana, IL, USA
Pages (from-to) 160-166
Publisher Berlin: Springer
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract 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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-540-79980-1_13
Permalink to this page
Back