跳转至主内容
Microsoft
微软研究院
微软研究院
微软研究院
主页
我们的研究
资源
资源
研究领域：其他科学
代码与数据
研究人员
微软研究院博客
研究领域：智能
研究领域：智能
人工智能
语音与声学
计算机视觉
图形图像与多媒体
人机交互
人类语言技术
搜索与信息检索
研究领域：系统
研究领域：系统
数据平台与分析
硬件与设备
编程语言与软件工程
量子计算
安全、隐私与加密
系统与网络
研究领域：理论
研究领域：理论
算法
数学
研究领域：其他科学
研究领域：其他科学
生态学与环境
经济学
医学、健康与基因组学
社会科学
新兴市场技术
项目与活动
学术项目
活动与学术会议
微软研究论坛
交流与学习
“技术幕后”系列播客
微软研究院博客
微软研究论坛
微软研究院播客
关于我们
研究人员与新闻
研究人员与新闻
关于微软研究院
全职与实习岗位
研究人员
荣誉退休
新闻与奖项
微软研究院通讯
微软研究院
微软研究院
非洲
AI for Science
AI Frontiers
亚太（中文）
亚太（英文）
剑桥
Health Futures
印度
蒙特利尔
新英格兰
纽约
雷德蒙
其他研究团队
其他研究团队
应用科学
混合现实与人工智能 - 剑桥
混合现实与人工智能 - 苏黎世
更多
注册：微软研究论坛
所有 Microsoft
Global
Microsoft 安全
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
技术和创新
技术和创新
Microsoft Cloud
AI
Azure Space
混合现实
Microsoft HoloLens
Microsoft Viva
量子计算
可持续发展
工业
工业
教育
汽车
金融服务
政府
医疗保健
制造业
零售业
所有行业
合作伙伴
合作伙伴
查找合作伙伴
成为合作伙伴
合作伙伴网络
查找广告合作伙伴
成为广告合作伙伴
Azure 市场
AppSource
资源
资源
博客
Microsoft Advertising
开发人员中心
文档
活动
许可
Microsoft Learn
Microsoft Research
查看站点地图
搜索
Search Microsoft Research
无结果
取消
Verus: A Practical Foundation for Systems Verification
Chris Hawblitzel
,
Jay Lorch
September 2024
下载 BibTex
Abstract to come…
（在新选项卡中打开）
关注我们:
关注 X
在Facebook关注
关注LinkedIn
在Youtube上订阅
关注Instagram
订阅本站 RSS
分享此页：
分享到 X
分享到Facebook
分享到LinkedIn
分享到Reddit
