亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!
已关闭
  • 文献求助详情
标题
What is formal verification?
什么是形式验证?
相关领域
计算机科学 正确性 形式验证 形式等价性检查 功能验证 程序设计语言 形式化方法 运行时验证 等价(形式语言) 智能验证 理论计算机科学 财产(哲学) 实施 高级验证 软件 软件系统 数学 软件建设 哲学 离散数学 认识论
网址
DOI
10.1145/1113792.1113794 doi
求助人
西瓜 在 2024-10-30 15:01:54 发布自上海,悬赏 10 积分
下载
 
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
求助 / 应助时间线
  • 22天前,求助关闭

    科研通管家 科研通管家 机器人 关闭了本次求助。

    说明 求助超时(查看超时原因)自动关闭,请核实信息是否正确,如果确实需要,您可重新发布求助。【积分已退回】
  • 27天前

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

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

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
豆浆油条完成签到 ,获得积分10
12秒前
自然的衫完成签到 ,获得积分10
13秒前
19秒前
丘比特应助科研通管家采纳,获得10
25秒前
34秒前
40秒前
田柾国发布了新的文献求助10
41秒前
41秒前
老薛完成签到,获得积分10
44秒前
47秒前
YUYUYU发布了新的文献求助10
47秒前
豆乳米麻薯完成签到,获得积分10
54秒前
郭志晟完成签到 ,获得积分10
57秒前
Nefelibata完成签到,获得积分10
1分钟前
1分钟前
隐形的大有完成签到,获得积分10
1分钟前
lily发布了新的文献求助10
1分钟前
Limerencia完成签到,获得积分10
1分钟前
筱溪完成签到 ,获得积分10
1分钟前
C9完成签到 ,获得积分10
1分钟前
李健的粉丝团团长应助123采纳,获得10
1分钟前
1分钟前
123发布了新的文献求助10
1分钟前
nenoaowu完成签到,获得积分10
1分钟前
1分钟前
YUYUYU完成签到,获得积分10
1分钟前
慕青应助田柾国采纳,获得10
2分钟前
LY_Qin完成签到,获得积分10
2分钟前
Jiangshan完成签到 ,获得积分10
2分钟前
2分钟前
叶子完成签到 ,获得积分10
2分钟前
情怀应助科研通管家采纳,获得10
2分钟前
小二郎应助科研通管家采纳,获得10
2分钟前
大个应助科研通管家采纳,获得10
2分钟前
清脆大米发布了新的文献求助10
2分钟前
2分钟前
充电宝应助远方采纳,获得10
2分钟前
田柾国发布了新的文献求助10
2分钟前
小马甲应助清脆大米采纳,获得10
2分钟前
2分钟前
高分求助中
Evolution 10000
Sustainability in Tides Chemistry 2800
юрские динозавры восточного забайкалья 800
English Wealden Fossils 700
Diagnostic immunohistochemistry : theranostic and genomic applications 6th Edition 500
Chen Hansheng: China’s Last Romantic Revolutionary 500
China's Relations With Japan 1945-83: The Role of Liao Chengzhi 400
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3150511
求助须知:如何正确求助?哪些是违规求助? 2801886
关于积分的说明 7845899
捐赠科研通 2459257
什么是DOI,文献DOI怎么找? 1309140
科研通“疑难数据库(出版商)”最低求助积分说明 628683
版权声明 601735