You could have used search: google, yahoo, bing, etc..
STM32F4-Discovery board firmware package:
http://www.32bitmicro.com/component/content/article/28-stm32f/1226-stm32f4-discovery-board-firmware-package-posted-by-sthttp://www.st.com/internet/evalboard/product/252419.jspST-LINK/V2 - STM32 ST-LINK utility:
http://www.st.com/internet/evalboard/product/251168.jspSTVP ST Visual Programmer for programming ST7, STM8, STM8T and STM32:
http://www.st.com/internet/evalboard/product/210568.jspOne interesting note, Keil upgrades this kit to V2.J15.S0, while STM32 ST-LINK Utility upgrades it to V2.J14.S0.