WYPIWYG

What You Prove Is What You Get is an approach for automatically synthesizing concurrency control for programs.

Publications