github.com/MagHErmit/tendermint@v0.282.1/spec/light-client/detection (about) 004bmc-apalache-ok.csv 005bmc-apalache-error.csv Blockchain_003_draft.tla LCD_MC3_3_faulty.tla LCD_MC3_4_faulty.tla LCD_MC4_4_faulty.tla LCD_MC5_5_faulty.tla LCDetector_003_draft.tla LCVerificationApi_003_draft.tla README.md detection_001_reviewed.md detection_003_reviewed.md discussions.md draft-functions.md req-ibc-detection.md