PhD Artifact (SMR verification)

Artifact accompanying PhD thesis: reduction technique from Section 7 (verification of SMR implementations). For more details visit: https://wolff09.github.io/phd/