Cited By
View all- Kim JKoenig JChen HGu RShao Z(2024) : A template to build verified thread-local interfaces with software scheduler abstractions Journal of Systems Architecture10.1016/j.sysarc.2023.103046147(103046)Online publication date: Feb-2024
- Kan SChen ZSanán DLiu Y(2024)Formally understanding Rust’s ownership and borrowing system at the memory levelFormal Methods in System Design10.1007/s10703-024-00460-3Online publication date: 9-Jul-2024
- Bozec TPeltier NPetitjean QSighireanu M(2024)What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?Automated Reasoning10.1007/978-3-031-63501-4_9(157-175)Online publication date: 2-Jul-2024
- Show More Cited By