The attached brochure summarizes the main objective and expected results of the VM4SEC project. VM4SEC is a vulnerability detection tool for secure software development that will help developers and project managers to improve the functionality and security level of their produced software.