Enhancing modular OO verification with separation logic

Keyphrases

• Separation Logic 100%
• Object-oriented Program 100%
• Modular Objects 100%
• Object Verification 100%
• Verification System 50%
• Method Overriding 50%
• Static Dispatching 50%
• Behavioral Subtyping 50%
• Flexible Scheme 50%
• Class Invariants 50%
• Program Reasoning 50%
• Dynamic Dispatching 50%
• Superclasses 50%
• Re-verification 50%
• Subsumption 50%
• Practical Verification 50%
• Class Inheritance 50%
• Class Method 50%

Computer Science

• Verification System 100%
• Program Reasoning 100%
• Class Invariant 100%