Automate where Automation Fails: Proof Strategies for Frama-C/WP.

Loc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov

Browse the full TACAS paper archive.