API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet Loader Extension Point in tla-sbuilder tool. tla-sbuilder is a tool to generate runnable formal models in TLA+ language http://research.microsoft.com/en-us/um/people/lamport/tla/book.html Generated formal models can be verified using TLA+ Tools http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.

Ethereum Sbuilder loader plugin to load api interfaces and specification snippets for Ethereum Solidity contract in tlaplus language.

Intermediate API Language (IAL) for to build tla-sbuilder snippets.

Sbuilder Salasforce API loader interfaces with Salesforce Rest API, extracts object definitions in Force.com platforms, and creates interface operations and parameter definitions into Sbuilder.

A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.