下载中心
会议室预定
电子邮箱
新闻动态 更多
-
第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中科院软件所成功举办
2025年5月17日至23日，由中国计算机学会（CCF）主办，CCF形式化方法专委会、中国科学院软件研究所承办，西南大学协办的“第七届可信软件系统工程（国际）春 ...
- 软件所计数复杂性研究连中三元
- 软件所分布式SMT求解器研究工作获CAV杰出论文奖
- 基础软件与系统重点实验室（中国科学院）第一届学术委员会第一次会议成功召开
学术活动 更多
- 2025-05-22【05-28】知行融创论坛：Towards Large Language Model Guided Kernel Direct Fuzzing
- 2025-05-22【05-28】知行融创论坛：Patch Synthesis for Property Repair of Deep Neural Networks
- 2025-05-16【05-28】知行融创论坛：Complete Quantum Relational Hoare Logics from Optimal Transport Duality
- 2025-05-16【05-28】知行融创论坛：Polynomial time algorithms for typical #EO problems
- 2025-04-27【04-27】知行融创论坛：A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
- 2025-04-27【04-27】知行融创论坛：Piecewise Analysis of Probabilistic Programs via k-Induction
- 2025-04-27【04-27】知行融创论坛：Distributed SMT Solving Based on Dynamic Variable-level Partitioning
- 2025-04-27【04-27】知行融创论坛：complexity classification of #EO problems
科研进展 更多
- 2019-07-18计算复杂性问题
- 2019-07-18量子程序终止性算法分析
- 2019-07-18基于自动机的程序终止性检验
- 2019-07-18Android 堆栈机模型
- 2019-07-18大规模分布式系统的失效恢复缺陷分析与检测
- 2019-07-18带边缘感知的改进的纹理滤波
- 2019-07-17实时自动机的不透明性
招贤纳士 更多
- 2024-10-18中国科学院软件研究所基础软件与系统重点实验室招聘启事
- 2024-05-09中国科学院软件研究所基础软件与系统重点实验室招聘启事
- 2024-01-25中国科学院软件研究所基础软件与系统重点实验室2024年优秀人才招聘启事
