@fairfox/web-ext-verify

Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.

v0.1.0 URL: https://unpkg.com/@fairfox/web-ext-verify@0.1.0/dist/index.js

Open Browse Files

formal-verification tla-plus tla+model-checking verification chrome-extension web-extension message-passing event-bus websocket concurrent-systems distributed-systems correctness testing typescript cli