Examples of efficiently using Apalache for model checking TLA+ and Quint specifications. These specifications include open source work by Igor Konnov for free, as an employee, or as a contractor. In the latter cases, proper links to the specifications on the employer's/customer's GitHub repository are included.
