The CISE tool: proving weakly-consistent applications correct.

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro

Browse the full EuroSys paper archive.