Prog. 5 Metodologie e strumenti per il Model Checking · Sillo