Model Checking: Teoria ed Applicazioni