Preprocessing for invariant validation

This publication has 21 references indexed in Scilit:

• A programming logic for formal concurrent systems
  Published by Springer Nature ,2005
• Powerful techniques for the automatic generation of invariants
  Published by Springer Nature ,1996
• Verifying invariants using theorem proving
  Published by Springer Nature ,1996
• Automatic generation of invariants and intermediate assertions
  Published by Springer Nature ,1995
• Mechanically verifying concurrent programs with the Boyer-Moore prover
  IEEE Transactions on Software Engineering, 1990
• First-Order Logic and Automated Theorem Proving
  Published by Springer Nature ,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