{"library":"tla-sbuilder","type":"library","category":null,"description":"A tool to generate runnable specification models in TLA+ language for business IT systems, verifiable with TLA+ Tools.","language":"ruby","status":"active","version":"0.3.9","tags":["tla+","specification","modeling","verification"],"last_verified":"Fri Jun 19","install":[{"cmd":"gem install tla-sbuilder","imports":["require 'tla-sbuilder'"]},{"cmd":"# Gemfile\ngem 'tla-sbuilder', '~> 0.3.9'","imports":[]}],"homepage":"https://github.com/jarjuk/tla-sbuilder","github":"https://github.com/jarjuk/tla-sbuilder","docs":"http://www.rubydoc.info/gems/tla-sbuilder/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}