Abstract Interpretation of COBOL

  1. Home
  2. Research
  3. Projects
  4. Abstract Interpretation of COBOL
Starting date
March 1, 2017
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Mastroeni Isabella

Sponsors:

Funds: assigned and managed by the department

Project participants

Isabella Mastroeni
Associate Professor
Research areas involved in the project
Sicurezza informatica
Formal methods and theory of security
Ingegneria del Software e verifica formale
Semantics and reasoning
Sicurezza informatica
Software and application security
Ingegneria del Software e verifica formale
Software creation and management
Ingegneria del Software e verifica formale
Software organization and properties

Activities

Research facilities

Share