Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh. Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. In Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona , Spain, June 20, 2017. ACM, 2017. [doi]
Abstract is missing.