语言
简体中文
English
中科大-耶鲁 高可信软件联合研究中心
浏览
简介
新闻
研究团队
研究项目
发表论文
招聘
活动安排
形式化方法暑期学校2011
登入
首页
›
Biblio
Biblio
列表
过滤器
test
只显示符合以下条件的项目：
作者
类型
Term
Year
Keyword
为
Chen, Yiyun
Chen, Hui
Chen, Yi-Yun
Dong, Yuan
Fan, Dawei
Feng, Xinyu
Fu, Xiong
Fu, Ming
Gao, Ying
Ge, Lin
Guo, Yu
Hua, Baojian
Hua, Bei
Jiang, Xinyu
Jiang, Xin-Yu
Li, Zhaopeng
Li, Long
Li, Yong
Lin, Chunxiao
Liu, Cheng
McCreight, Andrew
Ni, Zhaozhong
Ru, Xiangmin
Shao, Zhong
Tian, Bo
undefined
Vaynberg, Alexander
Wang, Zhifang
Wang, Zhenming
Wang, Wei
Wu, Ping
Xiang, Sen
Yang, Simin
Zhang, Yu
Zhang, Jian
Zhang, Zhenting
Zhuang, Zhong
Journal Article
Conference Paper
2010
2009
2008
2007
2006
2005
certifying compiler
concurrent program safety
concurrent separation logic
context
Hoare logic
incremental gargabge collector
mutual exclusive locks
Pointer Logic
program
program logic
program safety
program verification
proof-carrying code
proofcarrying code
read-write locks
reentrant locks
safety
separation logic
Software safety
strong atomicity
switching
theorem prover
transactional memory
verification
