modelator (pypi): Framework for Model Based Testing
Keywords: testing|model based testing|formal method|model checker|tla|apalache|tlc|blockchain|cosmos|tlaplus