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.

Domains

Programming Languages [cs.PL]

Frédéric Loulergue  : Connect in order to contact the contributor

https://inria.hal.science/hal-02317078

Submitted on : Tuesday, October 15, 2019-6:27:03 PM

Last modification on : Wednesday, April 3, 2024-11:14:11 AM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA INRIA UNIV-ORLEANS DRT INRIA2 CEA-UPSAY UNIV-PARIS-SACLAY LIST INSA-GROUPE INSA-CVL GS-ENGINEERING GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT
2170 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More