CAVEAT: technique and tool for computer aided verification and transformation

This publication has 24 references indexed in Scilit:

• Compositional specification and verification of distributed systems
  ACM Transactions on Programming Languages and Systems, 1994
• Concurrency without toil: a systematic method for parallel program design
  Science of Computer Programming, 1993
• Stepwise refinement and concurrency: the finite-state case
  Science of Computer Programming, 1990
• Mechanically verifying concurrent programs with the Boyer-Moore prover
  IEEE Transactions on Software Engineering, 1990
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• An assertional correctness proof of a distributed algorithm
  Science of Computer Programming, 1982
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• An optimal algorithm for mutual exclusion in computer networks
  Communications of the ACM, 1981
• On-the-fly garbage collection
  Communications of the ACM, 1978