Elabore um documento com um resumo do artigo "J. Anthony Hall, Seven myths of formal methods,IEEE Software,7(5):11-19, September 1990.". Inclua uma análise crítica dos mitos frente o cenário atual, considerando que os argumentos utilizados são de 1990. Eles são válidos ainda hoje? Justifique. Procure por artigos relacionados (que complemente, refute, conteste, exemplifique, etc).
O trabalho é individual.