Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

This publication has 34 references indexed in Scilit:

• Reasoning About Method Calls in Interface Specifications.
  The Journal of Object Technology, 2006
• How the design of JML accommodates both runtime assertion checking and formal verification
  Science of Computer Programming, 2005
• The KeY tool
  Software and Systems Modeling, 2005
• Reasoning with specifications containing method calls and model fields.
  The Journal of Object Technology, 2005
• An overview of JML tools and applications
  International Journal on Software Tools for Technology Transfer, 2004
• Verification of Object-Oriented Programs with Invariants.
  The Journal of Object Technology, 2004
• Safely creating correct subclasses without seeing superclass code
  ACM SIGPLAN Notices, 2000
• Flexible alias protection
  Published by Springer Nature ,1998
• On the frame problem in procedure specifications
  IEEE Transactions on Software Engineering, 1995
• A practical approach to programming with assertions
  IEEE Transactions on Software Engineering, 1995