An Automata Learning Library Written in Python
AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
A web application for visualizing the progress of an AltWalker test run.