📐 TLA+SpecificFormal Methods, Specification Languages, Model Checking, Temporal Logic, System Verification