TLA Sbuilder
JSON →A tool to generate runnable specification models in TLA+ language for business IT systems, verifiable with TLA+ Tools.
Traffic · last 30 days
total hits 1
actors 1 distinct systems
last hit 10h ago Amazonbot
top countries 🇺🇸 United States