Resources: page=7, ch 3.7.3.3
“Just before any side effect, a set of acceptance tests are run. If OK, the complete state of the program is written to safe storage - the checkpoint. If tests are not ok, the program is restarted, and loads the previous checkpoint, continuing from there.” -Sverre