Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

@fairfox/web-ext-verify

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

Ecosystem
npmjs.org
Latest Release
0.1.0
6 months ago
Versions
1
Downloads
27 last month
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40fairfox/web-ext-verify
    spec
    License MIT
    Namespace fairfox
    First Release 6 months ago
    Last Synced 18 days ago
    Keywords
    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