High-Level Program Properties in Frama-C: Definition, Verification and Deduction.

Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall

Browse the full ISoLA paper archive.