Analisi automatica di deadlock e robustezza di Java Bytecode

  1. Home

Proposta di tesi

Analisi automatica di deadlock e robustezza di Java Bytecode

Garante
Roberto Giacobazzi
Corso di studi
Laurea in Informatica (vecchio ordinamento)

Descrizione

Tesi di ricerca applicata all'analisi di deadlock freeness e robustezza (exception prediction) di
java bytecode (in collaborazione con l'Universita' di Bologna).

Offerta formativa

Condividi