• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利：CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法，用中文像聊天一样搜索，搜遍4000万医学文献。AI智能推荐，让科研检索更轻松。

立即免费搜索

文件翻译

保留排版，准确专业，支持PDF/Word/PPT等文件格式，支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述，25分钟生成高质量综述，智能提取关键信息，辅助科研写作。

立即免费体验

相似文献

1
Verified trustworthy software systems.经过验证的可信软件系统。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0408.
2
Provably trustworthy systems.可证明可信的系统。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0404.
3
Formal verification: will the seedling ever flower?形式验证：幼苗会开花吗？
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0402.
4
Industrial hardware and software verification with ACL2.使用ACL2进行工业硬件和软件验证。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0399.
5
Position paper: the science of deep specification.立场文件：深度规范科学
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2016.0331.
6
Compositional relaxed concurrency.组合式宽松并发
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0406.
7
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.使用分层模糊有色Petri网对起搏器功能进行运行时验证。
J Med Syst. 2017 Feb;41(2):27. doi: 10.1007/s10916-016-0664-5. Epub 2016 Dec 22.
8
How Modeling Standards, Software, and Initiatives Support Reproducibility in Systems Biology and Systems Medicine.建模标准、软件和计划如何支持系统生物学与系统医学中的可重复性。
IEEE Trans Biomed Eng. 2016 Oct;63(10):1999-2006. doi: 10.1109/TBME.2016.2555481. Epub 2016 Jun 2.
9
Software safety in medical applications.
J Image Guid Surg. 1995;1(3):121-32. doi: 10.1002/(SICI)1522-712X(1995)1:3<121::AID-IGS1>3.0.CO;2-C.
10
The HACMS program: using formal methods to eliminate exploitable bugs.HACMS 计划：运用形式化方法消除可被利用的漏洞。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0401.

本文引用的文献

1
Position paper: the science of deep specification.立场文件：深度规范科学
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2016.0331.
2
Compositional relaxed concurrency.组合式宽松并发
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0406.
3
Provably trustworthy systems.可证明可信的系统。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0404.
4
Program synthesis: challenges and opportunities.程序合成：挑战与机遇。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0403.
5
Formal verification: will the seedling ever flower?形式验证：幼苗会开花吗？
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0402.
6
The HACMS program: using formal methods to eliminate exploitable bugs.HACMS 计划：运用形式化方法消除可被利用的漏洞。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0401.
7
Industrial hardware and software verification with ACL2.使用ACL2进行工业硬件和软件验证。
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0399.

Verified trustworthy software systems.

作者信息

Gardner Philippa

机构信息

Imperial College, London, UK

出版信息

Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104). doi: 10.1098/rsta.2015.0408.

DOI:10.1098/rsta.2015.0408
PMID:28871055
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC5597729/
Abstract
摘要