Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.

Nikolai Kosmatov, Claude March, Yannick Moy, Julien Signoles

Browse the full ISoLA paper archive.