A Lesson on Verification of IoT Software with Frama-C - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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.
No file

Dates and versions

hal-02317078 , version 1 (15-10-2019)

Identifiers

Cite

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⟩
2069 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More