npmjs.org "model-checking" keyword
tla-connect 0.1.0
Model-based testing with Apalache TLA+ model checker - generate ITF traces, replay against JS dri...1 version - Latest release: about 1 month ago - 34 downloads last month - 0 stars on GitHub - 1 maintainer
tla-checker 0.3.3
A TLA+ model checker compiled to WebAssembly2 versions - Latest release: about 1 month ago - 2.15 thousand downloads last month - 37 stars on GitHub - 1 maintainer
@fairfox/web-ext-verify 0.1.0
Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specific...1 version - Latest release: 6 months ago - 27 downloads last month - 1 maintainer
uppaal-to-tchecker 1.3.0
JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models...4 versions - Latest release: 8 months ago - 9 downloads last month - 1 maintainer
tla-precheck 0.1.5
Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+,...6 versions - Latest release: 24 days ago - 1 maintainer
Related Keywords
formal-verification
4
tla+
3
tla
2
typescript
2
state-machine
2
testing
2
verification
2
distributed-systems
1
correctness
1
cli
1
uppaal
1
tchecker
1
timed-automata
1
translator
1
converter
1
automata
1
real-time-systems
1
code-generation
1
agentic
1
postgres
1
concurrent-systems
1
websocket
1
event-bus
1
message-passing
1
web-extension
1
chrome-extension
1
tla-plus
1
wasm
1
formal-methods
1
itf
1
mbt
1
model-based-testing
1
apalache
1