Minh Le Kim Tran, William King, Harvey P. Siy. Exploring the Potential of Frama-C in IoT Static Analysis. In Jie Wu 0001, Suresh Subramaniam 0001, Bo Ji 0001, Carla-Fabiana Chiasserini, editors, Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, MobiHoc 2023, Washington, DC, USA, October 23-26, 2023. pages 436-441, ACM, 2023. [doi]
Abstract is missing.