Cited By
View all- Barrière A(2025)Formal Verification of Just-in-Time CompilationundefinedOnline publication date: 28-Jan-2025
- Zhang BJin ZWang HCao Y(2024)Formal Verification of Data Modifications in Cloud Block Storage Based on Separation LogicChinese Journal of Electronics10.23919/cje.2022.00.11633:1(112-127)Online publication date: Jan-2024
- Zhou ZYe QDelaware BJagannathan S(2024)A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite AutomataProceedings of the ACM on Programming Languages10.1145/36564338:PLDI(1387-1411)Online publication date: 20-Jun-2024
- Show More Cited By