Cross-platform GUI for the KIND-2 model checker