Analisi statica corretta di sistemi software multilinguaggio

Gruppo Scientifico-Disciplinare

01/INFO-01 - Informatica

Descrizione

Il progetto si propone di studiare come diversi analizzatori staticicorretti, basati sull'interpretazione astratta, possano cooperare per analizzare sistemisoftware moderni. Tali sistemi sono distribuiti (ovvero composti da numerose unitàindipendenti), comunicano in modo sincrono o asincrono e sono realizzati utilizzando unavarietà eterogenea di tecnologie e linguaggi di programmazione.

Compenso

22,500 Euro

Sito web del bando

https://www.unive.it/web/it/17536/bandi-incarichi-di-ricerca?tipologia=Incarichiricerca&cod=2026-UNVE000-0160346&hash=dee048902523a6a3dc0d263154f39e00

Numero posti

1

Durata massima

24.0

Ente finanziatore

UNIVERSITA' CA' FOSCARI VENEZIA

Modalità di selezione