Experience Report: Teaching Code Analysis and Verification Using Frama-C

11/16/2021
by   Salwa Souaf, et al.
0

Formal methods provide systematic and rigorous techniques for software development. We strongly believe that they must be taught in computer science curricula. In this paper we present the pedagogic rationale and the concrete implementation of two courses on the use of formal methods, sharing some material. These courses promote the usage of formal verification to ensure safety and security of software, exemplified in the domain of the Internet of Things.

READ FULL TEXT
research
06/04/2019

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education

Formal methods yet advantageous, face challenges towards wide acceptance...
research
07/01/2020

Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract)

While the use of formal verification techniques is well established in t...
research
02/07/2018

Experience Report: Formal Methods in Material Science

Increased demands in the field of scientific computation require that al...
research
03/15/2019

Get rid of inline assembly through trustable verification-oriented lifting

Formal methods for software development have made great strides in the l...
research
07/17/2018

Formal Verification of a Programmable Hypersurface

A metasurface is a surface that consists of artificial material, called ...
research
05/03/2019

A New Hierarchical Software Architecture Towards Safety-Critical Aspects of a Drone System

In this paper, a new hierarchical software architecture is proposed to i...
research
11/16/2021

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda

As software becomes more complex and assumes an even greater role in our...

Please sign up or login with your details

Forgot password? Click here to reset