Resumo
Checkpoints são utilizados em sistemas distribuídos para auxiliar tarefas como monitorização e recuperação por retrocesso de estado. No entanto, entender o comportamento de um protocolo de checkpointing pode ser uma tarefa bastante complexa visto que o seu funcionamento pode depender da interação entre vários processos. O objetivo deste trabalho é a especificação' e implementação de um am…