github.com/aakash4dev/cometbft@v0.38.2/spec/light-client/verification (about)

001bmc-apalache.csv
002bmc-apalache-ok.csv
003bmc-apalache-error.csv
004bmc-apalache-ok.csv
005bmc-apalache-error.csv
Blockchain_002_draft.tla
Blockchain_003_draft.tla
Blockchain_A_1.tla
LCVerificationApi_003_draft.tla
Lightclient_002_draft.tla
Lightclient_003_draft.tla
Lightclient_A_1.tla
MC4_3_correct.tla
MC4_3_faulty.tla
MC4_4_correct.tla
MC4_4_correct_drifted.tla
MC4_4_faulty.tla
MC4_4_faulty_drifted.tla
MC4_5_correct.tla
MC4_5_faulty.tla
MC4_6_faulty.tla
MC4_7_faulty.tla
MC5_5_correct.tla
MC5_5_correct_peer_two_thirds_faulty.tla
MC5_5_faulty.tla
MC5_5_faulty_peer_two_thirds_faulty.tla
MC5_7_faulty.tla
MC7_5_faulty.tla
MC7_7_faulty.tla
README.md
typedefs.tla
verification_001_published.md
verification_002_draft.md
verification_003_draft.md