Serna M., E.; Morales V., D. Estado Del Arte De La investigación En verificación Formal. Revista-IIT 2015, 15.