@firfi/quint-connect

esm

Model-based testing framework connecting Quint specifications to TypeScript implementations

Version 2.0.1 License Apache-2.0

Keywords

quintmodel-based-testingformal-methodsformal-verificationspecificationtestingitfeffectproperty-based-testingstate-machinetanstack-intent

INSTALL

Version:

Statistics

Requests 0

Bandwidth 0

Top version - 0

Keywords

quint

model-based-testing

formal-methods

formal-verification

specification

testing

itf

effect

property-based-testing

state-machine

tanstack-intent

Get a badge for your package