2 citations · 4 across the 6 of their papers we have counts for
6 papers
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…
Leveraging Datapath Propagation in IC3 for Hardware Model Checking
Hongyu Fan, Fei He
IC3 is a famous bit-level framework for safety verification. By incorporating datapath abstraction, a notable enhancement in the efficiency of hardware verification can be achieved…
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…
EqFix: Fixing LaTeX Equation Errors by Examples
Fengmin Zhu, Fei He
LaTeX is a widely-used document preparation system. Its powerful ability in mathematical equation editing is perhaps the main reason for its popularity in academia. Sometimes, howe…
Automatic Detection and Resolution of Software Merge Conflicts: Are We There Yet?
Bowen Shen, Cihan Xiao, Na Meng +1
Developers create software branches for tentative feature addition and bug fixing, and periodically merge branches to release software with new features or repairing patches. When…
When Regression Verification Meets CEGAR
Fei He, Qianshan Yu, Liming Cai
Software systems evolve throughout their life cycles. Many revisions are produced over time. Model checking each revision of the software is impractical. Regression verification su…