A single-process implementation of a replicating storage written using P# as a C# library. This is a (much) simplified version of the system described in the following paper: https://www.usenix.org/system/files/conference/fast16/fast16-papers-deligiannis.pdf The liveness bug (discussed in the paper) is injected in: NodeManager.cs, line 181 Note: this is an abstract implementation aimed primarily to showcase the testing capabilities of P#.