Enviar aquest missatge de text: Correct Programs, Executed Correctly: Verifying Specifications and Executions