A realizable degree sequence can be realized in many ways as a graph. There are several tests for determining realizability of a degree sequence. Up to now, not much was known about the common ...

All experiments are controlled through the config.json file. Multiple values in a list mean different iterations of execution will be done using each config. The following parameters can be set: ...

The bash scripts repo contains an example script used to test for the presence of the write-skew anomaly in the serialization graph. Invariant definitions in TLA+ are used to specify events that one ...