The specification and testing of quantified progress properties in distributed systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Mechanizing a theory of program composition for UNITY
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Experiment in Program Composition and Proof
Formal Methods in System Design
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Tool for Testing Liveness in Distributed Object Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Hi-index | 0.00 |