@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

uppaal-to-tchecker

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

v1.3.0 URL: https://unpkg.com/uppaal-to-tchecker@1.3.0/src/index.js

Open Browse Files

uppaal tchecker timed-automata model-checking formal-verification translator converter verification automata real-time-systems