下载中心
会议室预定
电子邮箱
新闻动态 更多
-
软件所分布式SMT求解器研究工作获CAV杰出论文奖
近日，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）的论文Distributed SMT Arithmetic Theories So ...
- 基础软件与系统重点实验室（中国科学院）第一届学术委员会第一次会议成功召开
- 实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）
- 欢送退休人员茶话会
学术活动 更多
- 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
科研进展 更多
- 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年优秀人才招聘启事
