An Approach to Parallel Construction of Iterative Finite Automata for Checking the Coverage Relation. - Boris Melnikov; Lingqian Meng (CSAI, 2025)