ByNobleID
    Finite state machine verification on MIMD machines | NobleID