下载中心
会议室预定
电子邮箱
新闻动态 更多
-
软件所计数复杂性研究连中三元
中国科学院软件研究所，关于计数问题集合的复杂性刻画与分类的研究工作，三篇相关论文“The FPNP versus #P dichotomy for #EO”、“ ...
- 软件所分布式SMT求解器研究工作获CAV杰出论文奖
- 基础软件与系统重点实验室（中国科学院）第一届学术委员会第一次会议成功召开
- 实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）
学术活动 更多
- 2025-05-16【05-28】Efficient Formal Verification of Quantum Error Correcting Programs
- 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
- 2025-04-01【04-07】SKLCS Seminar on“内存程序（stored program concept)的数字计算机想法”
- 2024-12-23基于模型检测的处理器端到端验证方法
科研进展 更多
- 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年优秀人才招聘启事
