Automated verification of Szymanski's algorithm

This publication has 26 references indexed in Scilit:

• Verifying invariants using theorem proving
  Published by Springer Nature ,1996
• Preprocessing for invariant validation
  Published by Springer Nature ,1996
• Automatic generation of invariants and intermediate assertions
  Published by Springer Nature ,1995
• CAVEAT: technique and tool for computer aided verification and transformation
  Published by Springer Nature ,1995
• Concurrency without toil: a systematic method for parallel program design
  Science of Computer Programming, 1993
• Mechanically verifying concurrent programs with the Boyer-Moore prover
  IEEE Transactions on Software Engineering, 1990
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Program invariants as fixed points
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977