VerificacionFormal4Dummies.pdf