Source: https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf