Formal verification of kLIBC with the WP frama-C plug-in - Carvalho, Nuno (2014)