Ugo Montanari and Software Verification