Programming.
that became working models, but eventually I hit a wall trying to learn two new things at the same time. But the potential of command line interfaces is still the same. If model checking can be executed via command line, then it can be executed by other programs. You can update your models and test