Các kho mã nguồn mở đang theo dõi của apalache-mc, sắp xếp theo số sao.
APALACHE: công cụ kiểm tra mô hình biểu tượng cho TLA+ và Quint
