Keyword: model-checking

• modality-ts

  Released

  6d ago

  Version

  0.0.35

  Model-checking-based testing tools for React state-transition bugs.

  model-checkingmodal-logictesttestingmodality