View Proposal

Proposer
Andrew Ireland
Title
Frama-C: A Platform for Developing Safe and Secure C Code
Goal
Develop teaching materials for the Frama-C platform.
Description
The Frama-C platform supports the development of safe and secure code written in the C programming language. Frame-C achieves this through an integrated collection of static analysis tools, which includes formal verification. Through an in-depth study, the aim of this project is to develop teaching materials that provide an introduction to the Frame-C platform that highlights both its strengths and limitations.
Resources
https://www.frama-c.com/
Background
Ideally F20RS
Url
External Link
Difficulty Level
Challenging
Ethical Approval
None
Number Of Students
1
Supervisor
Andrew Ireland
Keywords
software engineering, static analysis, formal methods
Degrees
Master of Engineering in Software Engineering
Back to List