下载中心
会议室预定
电子邮箱
学术交流 更多>>
- 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
学术活动 更多>>
- 2025-04-27知行融创论坛：A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
- 2025-04-27知行融创论坛：Piecewise Analysis of Probabilistic Programs via k-Induction
- 2025-04-27知行融创论坛：Distributed SMT Solving Based on Dynamic Variable-level Partitioning
- 2025-04-27知行融创论坛：complexity classification of #EO problems
- 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
知行融创论坛 更多>>
- 2025-04-27知行融创论坛：A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
- 2025-04-27知行融创论坛：Piecewise Analysis of Probabilistic Programs via k-Induction
- 2025-04-27知行融创论坛：Distributed SMT Solving Based on Dynamic Variable-level Partitioning
- 2025-04-27知行融创论坛：complexity classification of #EO problems
开放资源 更多>>
- 2019-07-15计算机科学国家重点实验室计算资源管理条例（试行）
- 2019-07-14计算机科学国家重点实验室三维扫描仪软硬资源管理规定（试行）
- 2019-07-12相关表格下载