formal method 0 método formal Proceso para desarrollar software que explota el poder de la notación y las pruebas matemáticas. 2020-09-14