Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles