Suivre
Yusuke Matsushita
Yusuke Matsushita
Kyoto University
Adresse e-mail validée de fos.kuis.kyoto-u.ac.jp - Page d'accueil
Titre
Citée par
Citée par
Année
RustHorn: CHC-based Verification for Rust Programs
Y Matsushita, T Tsukada, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-54, 2021
1132021
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Y Matsushita, X Denis, JH Jourdan, D Dreyer
Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language …, 2022
552022
Borrowable Fractional Ownership Types for Verification
T Nakayama, Y Matsushita, K Sakayori, R Sato, N Kobayashi
International Conference on Verification, Model Checking, and Abstract …, 2024
32024
Extensible Functional-Correctness Verification of Rust Programs by the Technique of Prophecy
Y Matsushita
University of Tokyo, 2021
32021
CHC-based Program Verification Exploiting Ownership Types
Y Matsushita
Senior Thesis. University of Tokyo, 2019
12019
Non-Step-Indexed Separation Logic with Invariants and Rust-Style Borrows
Y Matsushita
University of Tokyo, 2023
2023
RustHorn: CHC-Based Verification for Rust Programs
Y Matsushita, T Tsukada, N Kobayashi
European Symposium on Programming (ESOP), 484-514, 2020
2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–7