{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40fairfox/web-ext-verify","name":"@fairfox/web-ext-verify","description":"Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.","version":"0.1.0","softwareVersion":"0.1.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/alexjeffcott/web-ext","url":"https://github.com/alexjeffcott/web-ext/tree/main/packages/verify#readme","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"],"maintainer":[{"@type":"Person","name":"alexjeffcott"}],"author":[{"@type":"Person","name":"alexjeffcott"}],"copyrightHolder":[{"@type":"Person","name":"alexjeffcott"}],"dateCreated":"2025-10-14","dateModified":"2025-10-14","datePublished":"2025-10-14","copyrightYear":2025,"downloadUrl":"https://registry.npmjs.org/@fairfox/web-ext-verify/-/web-ext-verify-0.1.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","sameAs":["https://www.npmjs.com/package/@fairfox/web-ext-verify"]}