Similar repositories to yingjiexue-brown/model_checking_on_hedged_cross_chain_transactions: