La lógica de Hoare es un sistema formal desarrollado por C.A.R.