An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.

Parosh Aziz Abdulla, Frdric Haziza, Luks Holk, Bengt Jonsson, Ahmed Rezine

Browse the full TACAS paper archive.