首页> 外文OA文献 >Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator

【2h】

Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator

机译：值得信赖的可信赖程序工具：经验证的验证条件生成器

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Peter V. Homeier; David F. Martin;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. 基于网页在线工具的鼻咽癌个体化部位特异性复发转移条件风险预测模型的建立及验证:10,058例高发区鼻咽癌病例分析 [J] . 吴晨飞, 陈佛平, 杨杏丽, 癌症（英文版） . 2021,第007期
2. Digital forensic tool verification: An evaluation of options for establishing trustworthiness [J] . Marshall Angus M. Digital investigation . 2021,第1期

机译：数字法医工具验证：评估建立可信度的选项
3. An optimized transaction verification method for trustworthy blockchain-enabled IIoT [J] . Wang Jin, Wei Boyang, Zhang Jingyu, Ad hoc networks . 2021,第Auga期

机译：可信赖的BlockChain Iiot的优化事务验证方法
4. A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability [J] . Xiaowei Huang, Daniel Kroening, Wenjie Ruan, Computer science review . 2020,第Auga期

机译：深度神经网络的安全和可信度调查：验证，测试，对抗攻击和防御和解释性
5. Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools [C] . Yingxin Qiu, Huawei Li, Tiancheng Wang, IEEE Asian Test Symposium . 2016

机译：基于属性覆盖分析的EDA工具对潜在威胁的可信度验证
6. Perceptions of trustworthiness: Direct-report perceptions of supervisor trustworthiness [D] . Smith, Diane A. D. 2007

机译：信任感：直接报告主管的信任感
7. Verified trustworthy software systems [O] . Philippa Gardner -1

机译：经过验证的可信赖软件系统
8. Can transparency preserve journalism’s trustworthiness? Recipients’ views on transparency about source origin and verification regarding user-generated content in the news [O] . Florian Wintterlin, Katherine M. Engelke, Valerie Hase 2020

机译：透明度可以保留新闻的可信度吗？收件人对源原点的透明度和关于新闻用户生成内容的验证的看法

Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator

著录项

引文网络

相似文献

相关主题

期刊订阅