Veja o que a empresa nos pediu para criar:
A empresa queria:
"
Você já parou para pensar em quantos testes devem ser feitos antes de um avião decolar? Além de verificar a parte física, é preciso garantir que todos os componentes eletrônicos e de comunicação estejam funcionando. Imagine um defeito na turbina e que não foi acusado nos testes realizados pelos técnicos, dizendo para o piloto que estava tudo certo, sendo que não estava. Imagine um robô fazendo uma cirurgia extremamente delicada e durante o processo apresenta alguma falha e deixa de responder aos comandos dos médicos.
Todas essas situações e outras mais cotidianas exigem que o código programado funcione perfeitamente como o esperado, sem falhas ou comportamentos não previstos. É preciso que pessoas como eu e você possamos entender mensagens como "é seguro para esse avião decolar, esse robô que auxiliará a sua cirurgia não apresentará problemas no meio do processo." O Formality possibilita a garantia de que tudo está funcionando como foi programado para estar, provando que mesmo os códigos mais complexos são seguros e não apresentam falhas de comportamento.
"
