Formal derivation of concurrent programs: an example from industry

This publication has 10 references indexed in Scilit:

• An exercise in verifying concurrent programs in industry: the I/O subsystem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An experience in the formal verification of industrial software
  Communications of the ACM, 1996
• A relational notation for state transition systems
  IEEE Transactions on Software Engineering, 1990
• An exercise in the formal derivation of parallel programs: maximum flows in graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Mechanically verifying concurrent programs with the Boyer-Moore prover
  IEEE Transactions on Software Engineering, 1990
• The formal specification and design of a distributed electronic funds-transfer system
  IEEE Transactions on Computers, 1988
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• The drinking philosophers problem
  ACM Transactions on Programming Languages and Systems, 1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976