Registry / build-tool / tla-sbuilder

tla-sbuilder

JSON →
library0.3.9rbrubygemsunverified

A tool to generate runnable specification models in TLA+ language for business IT systems, verifiable with TLA+ Tools.

build-toolother
gem install tla-sbuilder
github ↗homepage ↗docs ↗
INSTALL
IMPORT
SIG · TLA-SBUILDER
T
tla-sbuilder
build-toolrubyv0.3.9
harness data pending
Install & Compatibility
Where this runs

No compatibility data collected yet for this library.

Code
Verified usage

Verified import paths — ran on the pinned version, not inferred.

TLASbuilder
✓ require 'tla-sbuilder'

Generate a TLA+ specification model

require 'tla-sbuilder' TLASbuilder.generate('model.tla')
Debug
Known issues

No known issues recorded.

Upgrade
Version history
0.3.9latest on RubyGems
Audit
Dependencies

No dependency data recorded yet.

Agent activity
16 hits · last 30 days
node
14
OpenAI (training)
1
Resources
githubhttps://github.com/jarjuk/tla-sbuilder ↗
homepagehttps://github.com/jarjuk/tla-sbuilder ↗
docshttp://www.rubydoc.info/gems/tla-sbuilder/ ↗
tla-sbuilder — gem install tla-sbuilder · libregistry