Verification of Equivalent-Results Methods

This publication has 19 references indexed in Scilit:

• A Reachability Predicate for Analyzing Low-Level Software
  Published by Springer Nature ,2007
• Practical Reasoning About Invocations and Implementations of Pure Methods
  Published by Springer Nature ,2007
• Reasoning About Method Calls in Interface Specifications.
  The Journal of Object Technology, 2006
• A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
  Published by Springer Nature ,2006
• How the design of JML accommodates both runtime assertion checking and formal verification
  Science of Computer Programming, 2005
• Reasoning with specifications containing method calls and model fields.
  The Journal of Object Technology, 2005
• Purity and Side Effect Analysis for Java Programs
  Published by Springer Nature ,2005
• The Spec# Programming System: An Overview
  Published by Springer Nature ,2005
• Object Invariants in Dynamic Contexts
  Published by Springer Nature ,2004
• Implementing object equivalence in Java using the template method design pattern
  ACM SIGCSE Bulletin, 2003