collaborators

1 paper

cs.PL2025

A Hoare Logic for Symmetry Properties

Vaibhav Mehta, Justin Hsu

Many natural program correctness properties can be stated in terms of symmetries, but existing formal methods have little support for reasoning about such properties. We consider h…