modelator (cargo): A framework and tools for model-based testing.
Keywords: testing|model|abstraction|model-based|tla|model-based-testing|model-checking|rust|tlaplus