合作交流 - 基础软件与系统重点实验室

学术交流更多>>

2019-07-25形式化方法暑期学校将于2019年8月6~15号举行

学术活动更多>>

2024-12-23基于模型检测的处理器端到端验证方法
2024-12-02增强代码智能：MarsCode Agent的进展与应用
2024-12-02A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
2024-11-22Towards Safe AI for Cyber-Physical Systems
2024-11-21最优化模理论及其程序分析应用
2024-11-20Formal Verification of eBPF interpreter and Just-In-Time compiler
2024-11-12Automated Auditing of Blockchain Smart Contracts Using Large Language Models
2024-09-15Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages
2023-12-22AIA：AI辅助算法设计的若干尝试
2023-12-20知识图谱的关键技术

开放资源更多>>

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1