Avantssar

• Contributed to the development of a plugin to the SAP Netweaver Development Studio that performs security validation of business processes through model checking • Contributed to activities related to the validation of the AVANTSSAR Platf