Aree – Software and its engineering

Software and its engineering   aderente allo standard  ACM 2012

Automated static analysis

Analisi statica di programmi

Formal software verification

Verifica formale del software

Software creation and management

Blockchain e smart contracts

Software organization and properties

Verifica di protocolli di rete wireless

Software testing and debugging

Testing del software