中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Admission Information
Student Information
My Album
Blog
Personal Information
VIEW MORE
Home
>
Scientific Research
>
Research Projects
CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法-2024/09/01
2024/01/27
基于通用开放语义的可组合编译器验证研究-2027/12/01
2024/01/27
系统软件平台端到端正确性的验证方法研究-2023/12/01
2021/01/28
Formal End-to-End Verification of Information-Flow Security for Complex Systems-2020/12/01
2020/05/07
A Higher-Order Framework for Meta-Theoretic Reasoning-2020/12/01
2020/05/07
The Science of Deep Specification-2021/12/01
2020/05/07
Space/Time Analysis for Cybersecurity-2019/12/01
2020/05/07
Reasoning about Specifications of Computations-2014/12/01
2020/05/07
total8 1/1
first
previous
next
last
