Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis.

Johan Laurent, Christophe Deleuze, Vincent Beroulle, Florian Pebay-Peyroula

Browse the full FDTC paper archive.