Using context descriptions and property definition patterns for software formal verification.

Philippe Dhaussy, Julien Auvray, Stphane de Belloy, Frdric Boniol, Eric Landel

Browse the full ICST paper archive.