An HUCTL model checker library for analysis of parametrized models in parallel/distributed environment. This library is part of the BioDivine toolset.
###How to use This repo is jitpack-compatibile, so all you have to do is look up the latest version on jitpack and then integrate it into your favorite build system: CTL Model Checker on Jitpack
###API The model checker just went through a considerable amount of changes in preparation for the 2.0 version and the documentation is still under construction. For now, see the tests directory for usage examples.