Servois

Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.

Commutativity Condition Refinement
Kshitij Bansal, Eric Koskinen, Omer Tripp
(EC)2, 2015.
(conference version under submission)

The source is available on GitHub https://github.com/kbansal/servois under a BSD license.

Fork me on GitHub