michwqy/IBC-TLA

Public code of our formal analysis of IBC protocol

TLA