@inproceedings{dumas:hal-00517272, TITLE = {{Context Constraints Method for Software Formal Verification}}, AUTHOR = {Dumas, Xavier and Boniol, Fr{\'e}d{\'e}ric and Dhaussy, Philippe and Bonnafous, Eric}, URL = {https://hal.science/hal-00517272}, BOOKTITLE = {{ESA Workshop on Avionics Data, Control and Software Systems (ADCSS)}}, ADDRESS = {Noordwijk, Netherlands}, YEAR = {2009}, MONTH = Nov, HAL_ID = {hal-00517272}, HAL_VERSION = {v1}, }