• 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)