Skip to Main content Skip to Navigation
New interface
Conference papers

A Lesson on Verification of IoT Software with Frama-C

Abstract : This paper is a tutorial introduction to Frama-C, a framework for the analysis and verification of sequential C programs, and in particular its EVA, WP, and E-ACSL plugins. The examples are drawn from Contiki, a lightweight operating system for the Internet of Things.
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Tuesday, October 15, 2019 - 6:27:03 PM
Last modification on : Friday, November 18, 2022 - 9:23:16 AM



Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. A Lesson on Verification of IoT Software with Frama-C. 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. pp.21-30, ⟨10.1109/HPCS.2018.00018⟩. ⟨hal-02317078⟩



Record views