Login / Signup

Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system.

Jiaqi YinSini ChenYixiao LvHuibiao Zhu
Published in: Softw. Qual. J. (2024)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • symbolic model checking
  • bounded model checking
  • automated verification
  • mobile devices
  • image processing
  • temporal logic
  • web services
  • state space