A Verification Methodology for Model Fields

This publication has 15 references indexed in Scilit:

• Model variables: cleanly supporting abstraction in design by contract
  Software: Practice and Experience, 2005
• Universes: Lightweight Ownership for JML.
  The Journal of Object Technology, 2005
• ESC/Java2: Uniting ESC/Java and JML
  Published by Springer Nature ,2005
• The Spec# Programming System: An Overview
  Published by Springer Nature ,2005
• Verification of Object-Oriented Programs with Invariants.
  The Journal of Object Technology, 2004
• Friends Need a Bit More: Maintaining Invariants Over Shared State
  Published by Springer Nature ,2004
• Object Invariants in Dynamic Contexts
  Published by Springer Nature ,2004
• Modular specification of frame properties in JML
  Concurrency and Computation: Practice and Experience, 2003
• Data abstraction and information hiding
  ACM Transactions on Programming Languages and Systems, 2002
• Proof of correctness of data representations
  Acta Informatica, 1972