Report - Model Checking. Tino CortesiTecniche di Analisi di Programmi 2 Model Checking E una tecnica per la verifica automatica di software e di sistemi reattivi.

Please pass captcha verification before submit form