Please enable JavaScript.
Coggle requires JavaScript to display documents.
Máquinas Abstratas - Coggle Diagram
Máquinas Abstratas
-
-
Consistência de máquina
-
Para garantir essa propriedade, é necessário garantir que todas as cláusulas (seções) são consistentes e coerentes entre si
-
Possíveis causas para quando não se consegue provar as obrigações de prova (denotando inconsistência na máquina):
Pre-condições de operações muito fracas (permitindo que a operação seja chamada quando ela não deveria)
-
Invariante incorreta (invariante muito forte, excluindo estados válidos, ou muito fraca ou simplesmente errada)
-