Episodio

Analisi del codice con inferenza #

Si vogliono rilevare bug di affidabilità e sicurezza prima della spedizione?  Matthew Jinand  Dongyu Liu show Infer#, uno strumento di analisi statica che è possibile usare per convalidare la correttezza del codice sorgente senza doverlo eseguire. 

Altre informazioni su Infer# sono disponibili qui