1 citations · 1 across the 4 of their papers we have counts for
5 papers
Automatically Building Machine-Checked Assurance Cases from C Codebases to Requirements
Haokun Li, Zhongyi Wang, Guanyan Li +4
Large language models (LLMs) have shown promise in automating interactive theorem proving, yet verification of real-world C codebases requires more than discharging individual proo…
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
Juanen Li, Peng Qian, Guanyan Li +6
Smart contracts, serving as the cornerstone of decentralized applications, autonomously manage trillion-dollar digital assets, making them attractive targets for attacks. Fuzzing h…
Structural Abstraction and Refinement for Probabilistic Programs
Guanyan Li, Juanen Li, Zhilei Han +3
In this paper, we present structural abstraction refinement, a novel framework for verifying the threshold problem of probabilistic programs. Our approach represents the structure…
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Peixin Wang, Tengshun Yang, Hongfei Fu +2
In Bayesian probabilistic programming, a central problem is to estimate the normalised posterior distribution (NPD) of a probabilistic program with conditioning via score (a.k.a. o…
ProbTA: A sound and complete proof rule for probabilistic verification
Guanyan Li, Zhilei Han, Fei He
We propose a sound and complete proof rule ProbTA for quantitative analysis of violation probability of probabilistic programs. Our approach extends the technique of trace abstract…