Verification of Snapshotable Trees using Access Permissions and Typestate

Keyphrases

• Abstract Interface 33%
• Access Permissions 100%
• Checking Tools 33%
• Interface Definition 33%
• Java Library 33%
• Search Tree 33%
• Typestate 100%
• Verification Approaches 33%

Computer Science

• Abstract Interface 50%
• Access Permission 100%
• Data Structure 50%
• Interface Specification 50%
• Tree Search 50%