%0 Conference Paper %F Oral %T Using context descriptions and property definition patterns for software formal verification %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Boniol, Frédéric %A de Belloy, Stephane %A Auvray, Julien %A Landel, Eric %< avec comité de lecture %Z pp.89-96 %B ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop %C France %8 2008 %D 2008 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517276 %U https://hal.science/hal-00517276 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN