Servois

Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications. Background: Automatic Generation of Precise and Useful Commutativity Conditions