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

Yixiao Lv Jiaqi Yin Sini Chen Huibiao Zhu

Published in: ISSREW (2023)

Keyphrases

constraint satisfaction problems
formal analysis
mobile devices
database
knowledge representation
model checking
constraint satisfaction
wifi
location aware
artificial intelligence
constraint programming
arc consistency
selection mechanism
tree decomposition