Analysis of distributed systems using constrained expressions (concurrent systems)

Describing and analyzing distributed software system designs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Constrained expressions: toward broad applicability of analysis methods for distributed software systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Experiments in automated analysis of concurrent software systems

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

Experiments with an improved constrained expression toolset

TAV4 Proceedings of the symposium on Testing, analysis, and verification