%0 Conference Paper %F Oral %T Context Constraints Method for Software Formal Verification %+ Développement des Technologies Nouvelles (DTN) %A Dumas, Xavier %A Boniol, Frédéric %A Dhaussy, Philippe %A Bonnafous, Eric %< avec comité de lecture %B ESA Workshop on Avionics Data, Control and Software Systems (ADCSS) %C Noordwijk, Netherlands %8 2009-11-03 %D 2009 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517272 %U https://hal.science/hal-00517272 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN