@fairfox/web-ext-verify
Version:
Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.
| Filename | Content Type | Size | |
|---|---|---|---|
| 541 kB | |||
| 17.9 kB | |||
| 1.07 kB | |||
| 10.7 kB | |||
| 1.76 kB |
Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.
| Filename | Content Type | Size | |
|---|---|---|---|
| 541 kB | |||
| 17.9 kB | |||
| 1.07 kB | |||
| 10.7 kB | |||
| 1.76 kB |