2008-07-01
Towards Formal Verification of Toolbus Scripts
Publication
Publication
Presented at the
International Conference on Algebraic Methodology and Software Technology, Urbana, IL, USA
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.
| Additional Metadata | |
|---|---|
| Springer | |
| J. Meseguer (Jose) , G. Rosu (Grigore) | |
| Lecture Notes in Computer Science | |
| International Conference on Algebraic Methodology and Software Technology | |
| Organisation | Software Analysis and Transformation |
|
Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. (2008). Towards Formal Verification of Toolbus Scripts. In J. Meseguer & G. Rosu (Eds.), Proceedings of international conference on Algebraic Methodology and Software Technology 2008 (12) (pp. 160–166). Springer. |
|