Towards property-based consistency verification.

Paolo Viotti, Christopher Meiklejohn, Marko Vukolic

Browse the full EuroSys paper archive.