software | Personal page

software

Static code analysis of a critical embedded software

C code analysis using Frama-C software