Cited By
View all- Qi XJiao JLi Y(2023)Smart Contract Parallel Execution with Fine-Grained State Accesses2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS57875.2023.00068(841-852)Online publication date: Jul-2023
- Lorch JChen YKapritsos MMa HParno BQadeer SSharma UWilcox JZhao X(2022)Armada: Automated Verification of Concurrent Code with Sound Semantic ExtensibilityACM Transactions on Programming Languages and Systems10.1145/350249144:2(1-39)Online publication date: 27-May-2022
- Schellhorn GBodenmüller SBitterlich MReif W(2022)Software & System Verification with KIVThe Logic of Software. A Tasting Menu of Formal Methods10.1007/978-3-031-08166-8_20(408-436)Online publication date: 4-Jul-2022
- Show More Cited By