Analisi automatica di deadlock e robustezza di Java Bytecode

  1. Home

theses proposal

Analisi automatica di deadlock e robustezza di Java Bytecode

Guarantor
Roberto Giacobazzi
Study courses
Bachelor in Computer Science (old system)

Description

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

Studying

Share