Model checking. Approccio esplicito e simbolico.
Nella parte avanzata del corso verra' considerato
l'uso del model checking nel planning e/o per i sistemi ibridi.
Systems and Software Verification
Model-Checking Techniques and Tools
Autori: Berard, B., Bidoit, M., Finkel, A., Laroussinie, F.,
Petit, A., Petrucci, L., Schnoebelen, P