#

tlaps

Here is 1 public repository matching this topic...

Shubha-ml / TLA-Analyzer

Web tool that turns TLA+ specs into actionable requirements, rewrites NFRs into TLA+ monitors, and runs proof checks via a backend.

react express formal-methods verifications requirements-engineering nodej tla-plus vite tlaps tailwi apalache

Updated Sep 18, 2025
JavaScript

Improve this page

Add a description, image, and links to the tlaps topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tlaps topic, visit your repo's landing page and select "manage topics."