GitHub repository: niuzhi/TLAPlus
Description: practices about verifying  distribute software architecture using formal language TLA+