1 citations · 2 across the 6 of their papers we have counts for
Showing cs.SCShow all
3 papers · 1 filter
cs.SC2024★ 1 cited
OSVAuto: automatic proofs about functional specifications in OS verification
Yulun Wu, Bican Xia, Jiale Xu +2
We present OSVAuto for automatic proofs about functional specifications that commonly arise when verifying operating system kernels. The algorithm behind OSVAuto is designed to sup…
cs.SC2023★ 1 cited
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Rizeng Chen, Haokun Li, Bican Xia +2
Mixed trigonometric-polynomials (MTPs) are functions of the form with . In this paper, an algorithm ``isolating" all the real r…
cs.SC2022
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems
Haokun Li, Bican Xia, Tianqi Zhao
Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional po…