Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Keyphrases

• Verification System 100%
• Automated Verification 100%
• Separation Logic 100%
• Programmer 50%
• Program Verification 50%
• Setting Properties 50%
• Automatic Verification 50%
• Fixed Set 50%
• Prover 50%
• Formal Reasoning 50%
• Well-founded 50%

Computer Science

• Verification System 100%
• Data Structure 50%
• Program Verification 50%
• Soundness 50%
• Formal Reasoning 50%