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 metadatas

https://hal.inria.fr/hal-02317078
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, October 15, 2019 - 6:27:03 PM
Last modification on : Thursday, October 17, 2019 - 1:14:28 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

18