No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP.

Allan Blanchard, Loc Correnson, Adel Djoudi, Nikolai Kosmatov

Browse the full TAP paper archive.