"CCSpec: a correctness condition specification tool."

Christina L. Peterson, Pierre LaBorde, Damian Dechev (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics