Servois

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

Automatic Generation of Precise and Useful Commutativity Conditions
Kshitij Bansal, Eric Koskinen, Omer Tripp
(to appear) In Proceedings of TACAS, 2018.
Evaluation [data].

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

Fork me on GitHub