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)
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Software—Practice & Experience
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
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
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
A Distributed Real-Time Java System Based on CSP
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Synthesis of C++ Software from Verifiable CSPm Specifications
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Parameterised boolean equation systems
Theoretical Computer Science - Formal methods for components and objects
Achieving Discrete Relative Timing with Untimed Process Algebra
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Towards Formal Verification of ToolBus Scripts
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Pipa: a behavioral interface specification language for aspectJ
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
ASD case notes: costs and benefits of applying formal methods to industrial control software
FM'05 Proceedings of the 2005 international conference on Formal Methods
Hi-index | 0.00 |
ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work we presented a method for analyzing a Tscript by translating it to the process algebraic language mCRL2, and then applying model checking to verify certain behavioral properties. We have implemented a prototype based on this approach. As a case study, we have applied it on a standard example from the ToolBus distribution, distributed auction, and detected a number of behavioral irregularities in this auction Tscript.