Patel Nisarg

• Automated Verification of Concurrent Search Structures