Can find details in emptiness_checker directory. Implements emptiness checker based on event clock automaton, and using the tchecker's GTA-model for the emptiness check.
Details of running emptiness checker can be found at here
Special credits
Using GTA-model as tool for checking emptiness for event clock automata.