Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hex.pm "model-based-testing" keyword

View the packages on the hex.pm package registry that are tagged with the "model-based-testing" keyword.

makina 0.3.2
Makina is a DSL for writing PBT models for stateful systems.
6 versions - Latest release: 7 months ago - 1 dependent repositories - 712 downloads total - 5 stars on gitlab.com - 1 maintainer
Related Keywords
elixir 1 lightweight formal methods 1 program properties 1 testing 1