Andreas Podelski

Commutativity Simplifies Proofs of Parameterized Programs

2023 · arXiv (Cornell University)

Commutativity has proven to be a powerful tool in reasoning about concurrent programs. Recent work has shown that a commutativity-based reduction of a program may admit simpler proofs than the program itself. The framework of …