Invariant inference for static checking:

This publication has 14 references indexed in Scilit:

• Annotation inference for modular checkers
  Published by Elsevier ,2001
• Quickly detecting relevant program invariants
  Published by Association for Computing Machinery (ACM) ,2000
• JML: A Notation for Detailed Design
  Published by Springer Nature ,1999
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• LCLint
  Published by Association for Computing Machinery (ACM) ,1994
• Data flow analysis for verifying properties of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1994
• Subgoal induction
  Communications of the ACM, 1977
• Proving Properties of Complex Data Structures
  Journal of the ACM, 1976
• The synthesis of loop predicates
  Communications of the ACM, 1974
• Multiple comparison in psychological research.
  Psychological Bulletin, 1959