@inproceedings{dhaussy:hal-00517276, TITLE = {{Using context descriptions and property definition patterns for software formal verification}}, AUTHOR = {Dhaussy, Philippe and Boniol, Fr{\'e}d{\'e}ric and de Belloy, Stephane and Auvray, Julien and Landel, Eric}, URL = {https://hal.science/hal-00517276}, BOOKTITLE = {{ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop}}, ADDRESS = {France}, HAL_LOCAL_REFERENCE = {pp.89-96}, YEAR = {2008}, HAL_ID = {hal-00517276}, HAL_VERSION = {v1}, }