state-machine-testing

There are 0 repository under state-machine-testing topic.

• 1Jajen1 / propCheck

  Property based testing for kotlintest ported from quickcheck

  arrow-ktkotlinproperty-based-testingproperty-testingquickcheckstate-machine-testing
  Language:Kotlin 34

• Clonexy700 / NSU-opd-dmta-solver

  Customizable and convenient service for working with mathematical formulas from the field of DMTA

  discrete-mathdiscrete-mathematicsjavascriptmathmathematical-modellingmathematicssimulationsimulation-modelingstate-machinestate-machine-diagramstate-machine-testingturing-machineturing-machine-simulator
  Language:JavaScript 5

• the-dr-lazy / purescript-quickcheck-state-machine

  Test monadic PureScript programs using state machine based models

  testmodel-based-testingstate-machine-testingpurescriptquickcheck
  Language:PureScript 3

• NicolasT / hedgehog-stateful-demo

  A demonstration of stateful systems testing using Hedgehog

  haskellhaskell-learninghedgehogproperty-based-testingproperty-testingquickcheckstate-machinestate-machine-testingtesting
  Language:Haskell 2