Formalization and Verification of the ICC Mechanism in Android System Using CSP.

Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu

Browse the full ISSRE paper archive.