Yixiao Lv

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Arc Consistency

Constraint Satisfaction Problems

Top Venues

Softw. Qual. J.

Publications

Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. 32 (3) (2024)
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW (2023)