Hospital-Scheduling Project Ca' Foscari University Of Venice - FORMAL METHODS FOR SYSTEM VERIFICATION