V
主页
京东 11.11 红包
形式化方法与系统软件:一个实践者的视角
发布人
形式化方法与系统软件:一个实践者的视角
打开封面
下载高清视频
观看高清视频
视频下载器
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(下午场:人机物融合系统设计、综合与监控)
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel,下午Panel
一种基于GAN的跨项目软件缺陷预测方法
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(上午场:软硬件基础设施验证)
基于软件度量的Solidity智能合约缺陷预测方法
轨道交通联锁系统形式化验证解决方案
工控协议的形式化新方法和安全评估模型关键技术
反例引导的C代码空间流模型检测方法
2021年10月形式化方法专委战略研讨会-下午
可信系统性质的分类和形式化研究综述
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证,上午Panel
第20届CCF 全国嵌入式系统大会--芯片形式化验证技术及其应用案例、电子系统空间辐射效应建模仿真方法
2022.4.27--片上系统的模块化规范与形式化验证--张弘策(香港科技大学广州校区)
2021年10月形式化方法专委战略研讨会-上午
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
处理器能用面向对象方法设计吗?--孙凝晖
2021年8月29日泛在操作系统CCF系统软件技术论坛
后E级计算:挑战和对策--钱德沛
编译原理课程Flex+Bison使用讲解
2022年4月28日学术研究方法浅谈--北航马帅
基于系统证据分析的隐蔽性攻击检测+开源软件供应链风险分析与治理+扰动下时延混成系统的安全切换控制器生成
区块链安全与应用技术的研究进展--张小松
自动驾驶系统中深度学习模型的研究现状,安全挑战与发展趋势
AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
2021 CCF软件大会 优秀博士论坛
2021年中国软件大会-系统软件安全论坛-1
Machine Learning Applications to Mobile Communications
微小卫星的发展及智能需求
航天嵌入式软件可信研究进展与展望--杨孟飞院士
2021年中国软件大会-系统软件安全论坛-2
《信息安全学报》线上学术沙龙(第七期)——“人工智能安全”学术报告会
轨道交通系统安全保障与智能化关键技术
人工智能产业化的困境与机遇从深度学习的能力和局限谈起
数字粮库
CCF YOCSEF 观点论坛:如何释放青年学者的内生动能——帽子、票子还是调子?
信息安全发展历程与趋势--冯登国
TaintPoint:使用活跃轨迹高效挖掘污点风格漏洞
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT