Modular Verification of Linked Lists with Views via Separation Logic

Keyphrases

• Abstract Specification 33%
• Data Sharing 33%
• High-order 33%
• Iterator 33%
• Linked List 100%
• Mathematical Model 33%
• Modular Verification 100%
• Modularity 33%
• Order Separation 33%
• Separation Logic 100%

Computer Science

• Case Study 66%
• Data Structure 66%
• Library Collection 33%
• Linked List 100%