verifications

Here are 2 public repositories matching this topic...

🛠️ 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

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

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

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