Commutativity in automated verification

DOI10.1109/LICS56636.2023.10175734MaRDI QIDQ6851624zbMATH OpenFDO

Authors Azadeh Farzan

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175734

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(2)

• Choose your proofs: commutativity and symmetry for smarter reasoning
• Partial-order reduction is hard

This page was built for publication: Commutativity in automated verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851624)