Sviluppo e valutazione di tecniche di model checking per la verifica del software