now163
- 软件所分布式SMT求解器研究工作获CAV杰出论文奖（中国首次）2024-07-29
- 【12-29】SKLCS seminar on “AIA：AI辅助算法设计的若干尝试”2023-12-22
- 【12-27】SKLCS seminar on “知识图谱的关键技术”2023-12-20
- 【12-11】SKLCS seminar on “An FPRAS for two terminal reliability in directed acyclic graphs”2023-12-01
- 【11-02】SKLCS Seminar on”概率递归关系尾概率的自动化分析”2023-11-01
- 【10-31】2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”2023-10-20
- 【10-31】1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”2023-10-20
- 【10-27】SKLCS Seminar on”TrustInSoft Analyzer: a formal methods-based software for industry”2023-10-10
- 【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”2023-08-15
- 【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)2023-07-31
- 【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”2023-06-12
- 【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”2023-05-25
- 【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”2023-05-09
- 【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”2023-05-03
- 【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”2023-05-03
- 【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”2023-04-09
- 【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“2023-04-01
- 【2022-09-06】SKLCS Seminar on”人工智能安全攻防对抗”2023-01-11
- 【2022-12-16】SKLCS Seminar on “Latticed k-Induction with an Application to Probabilistic Programs“2022-12-04
- 【2022-12-01】SKLCS Seminar on “智能数字服务生态系统演化支撑理论与应用“2022-12-01