To gcc steering committee

[xing xing]

Hello gcc steering committe:

  Is gcc steering committe intrested in add a verification component to 
gcc, as software verification technology plays a fast-developing area to 
guarantee software reliability.

Neil

_________________________________________________________________
ÓëÁª»úµÄÅóÓѽøÐн»Á÷£¬ÇëʹÓà MSN Messenger:  http://messenger.msn.com/cn