es.davy.ai

Preguntas y respuestas de programación confiables

¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Tag: LOOP-INVARIANT

Encontrar un invariante para un bucle simple.

Nunca me he sentido tan inepto como cuando intento demostrar a Dafny que mi programa es correcto, así que necesito tu ayuda: El programa dado se ve así: Método doingMath(N: int, M: int) devuelve (s: int) Requiere N <= M //precondición dada Aseguramiento de 2s == M(M+1)-N*(N+1) //postcondición dada { . . . Read more