Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theoretical Computer Science
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Software—Practice & Experience
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The TOOLBUS Coordination Architecture
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
CC '01 Proceedings of the 10th International Conference on Compiler Construction
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
An abstract interpretation toolkit for μCRL
Formal Methods in System Design
Achieving Discrete Relative Timing with Untimed Process Algebra
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Time abstraction in timed µCRL à la regions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Automated translation and analysis of a ToolBus script for auctions
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.01 |
ToolBusallows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. Tscriptwas 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 Tscriptby translating it to the process algebraic language mCRL2, and then applying model checking to verify behavioral properties.