tlaps

Here are 2 public repositories matching this topic...

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

🛠️ Extract TLA+ modules into clear requirements and monitor templates, streamlining proof checks with a simple backend integration.

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

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

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