1. A system, comprising: a distributed system comprising a plurality of nodes, each node running a process and an operating system and comprising an interposition layer provided between the process and the operating system; and a distributed system checker in control over the distributed system via the interposition layer on each node.