GitHub repository: michwqy/ibc-tla
Created: 2023-05-31T17:35:07Z
Description: This is the public code of paper "Formal Analysis of IBC Protocol" of ICNP 2023