求助中
  • 文献求助详情
标题
What is formal verification?
什么是形式验证?
相关领域
计算机科学 正确性 形式验证 形式等价性检查 功能验证 程序设计语言 形式化方法 运行时验证 等价(形式语言) 智能验证 理论计算机科学 财产(哲学) 实施 高级验证 软件 软件系统 数学 软件建设 哲学 离散数学 认识论
网址
DOI
10.1145/1113792.1113794 doi
求助人
西瓜 在 2024-10-30 15:01:54 发布自上海,悬赏 10 积分
下载 暂无链接,等待应助者上传
 
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
求助 / 应助时间线
  • 现在,等待您上传文献

  • 3天前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献,机器人已退出,请等待人工下载

    15:01:57 未找到该文献,机器人已退出,请等待人工下载
    15:01:55 科研通AI机器人(澳大利亚 悉尼)收到请求,开始寻找文献
    15:01:55 已向机器人发送请求
  • 3天前

    西瓜 西瓜 求助人 Lv4 发起了本次求助

更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
bibo完成签到,获得积分10
刚刚
刚刚
华仔应助精明白风采纳,获得10
1秒前
俏皮问晴发布了新的文献求助10
3秒前
赘婿应助清脆的书桃采纳,获得10
3秒前
简单的梦槐完成签到,获得积分10
3秒前
stuffmatter应助樱子采纳,获得10
5秒前
打打应助活力的泥猴桃采纳,获得10
5秒前
慕青应助活力的泥猴桃采纳,获得10
5秒前
所所应助Harssi采纳,获得10
6秒前
无花果应助Harssi采纳,获得10
6秒前
谦让盼海完成签到,获得积分10
6秒前
多啦啦完成签到,获得积分10
6秒前
英俊的铭应助张立人采纳,获得10
7秒前
Jasper应助看山采纳,获得10
7秒前
7秒前
熠迩完成签到,获得积分10
8秒前
9秒前
9秒前
梁_完成签到 ,获得积分10
10秒前
10秒前
精明白风发布了新的文献求助10
14秒前
14秒前
别当真发布了新的文献求助10
14秒前
张张完成签到 ,获得积分10
15秒前
TS_W发布了新的文献求助10
16秒前
16秒前
16秒前
顺利的源智完成签到,获得积分10
17秒前
ksiswl发布了新的文献求助10
17秒前
阔达的扬完成签到,获得积分10
18秒前
ip07in13完成签到,获得积分10
19秒前
精明白风完成签到,获得积分10
19秒前
乐乐应助小韩同学采纳,获得10
20秒前
情怀应助谨慎凡桃采纳,获得10
20秒前
20秒前
明理的喵发布了新的文献求助10
23秒前
ip07in13发布了新的文献求助10
23秒前
24秒前
24秒前
高分求助中
中国国际图书贸易总公司40周年纪念文集 大事记1949-1987 2000
TM 5-855-1(Fundamentals of protective design for conventional weapons) 1000
草地生态学 880
Threaded Harmony: A Sustainable Approach to Fashion 799
Basic Modern Theory of Linear Complex Analytic 𝑞-Difference Equations 500
Queer Politics in Times of New Authoritarianisms: Popular Culture in South Asia 500
Livre et militantisme : La Cité éditeur 1958-1967 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3058279
求助须知:如何正确求助?哪些是违规求助? 2714388
关于积分的说明 7440415
捐赠科研通 2359676
什么是DOI,文献DOI怎么找? 1250252
科研通“疑难数据库(出版商)”最低求助积分说明 607401
版权声明 596410