Software | Personal page

Software

Static code analysis of a critical embedded software

C code analysis using Frama-C software