Automatic generation of precise and useful commutativity conditions
From MaRDI portal
Publication:2324210
DOI10.1007/978-3-319-89960-2_7zbMath1423.68115arXiv1802.08748OpenAlexW2799184718MaRDI QIDQ2324210
Kshitij Bansal, Eric Koskinen, Omer Tripp
Publication date: 16 September 2019
Full work available at URL: https://arxiv.org/abs/1802.08748
Related Items (4)
Synthesizing precise and useful commutativity conditions ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing ⋮ Servois ⋮ Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts
Uses Software
This page was built for publication: Automatic generation of precise and useful commutativity conditions