ByNobleID
    State identification and verification using a model checker | NobleID