durable modelchecking

Description

Ensure that the model checking can resume even if a worker or master crashed.
Possible solutions are journaling or snapshots.

Environment

None
Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner