- 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
- 2023-12-22AIA:AI辅助算法设计的若干尝试
- 2023-12-20知识图谱的关键技术
- 2023-12-01An FPRAS for two terminal reliability in directed acyclic graphs
- 2023-11-01概率递归关系尾概率的自动化分析
- 2023-10-202nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”
- 2023-10-201st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”
- 2023-10-10TrustInSoft Analyzer: a formal methods-based software for industry
- 2023-08-15【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”
- 2023-07-31【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)