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.
|Title of host publication||Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings)|
|Editors||J. Meseguer, G. Rosu|
|Place of Publication||Berlin|
|Publication status||Published - 2008|
|Name||Lecture Notes in Computer Science|