Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.