4 ms·Galois Video: PReach – distributed explicit state model checking in Erlang1 points by dons 16y ago