Towards Formal Verification of ToolBus Scripts (2008)
by
Wan Fokkink
,
Paul Klint, Bert Lisser
,
Yaroslav S. Usenko
| Citations: | 2 - 1 self |
BibTeX
@MISC{Fokkink08towardsformal,
author = {Wan Fokkink and Paul Klint and Bert Lisser and Yaroslav S. Usenko},
title = {Towards Formal Verification of ToolBus Scripts},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
