Ganty, Pierre; Ranzato, Francesco; Valero, Pedro Complete abstractions for checking language inclusion. (English) Zbl 1508.68190 ACM Trans. Comput. Log. 22, No. 4, Article No. 22, 40 p. (2021). Cited in 1 Document MSC: 68Q45 Formal languages and automata Keywords:abstract interpretation; completeness; language inclusion; regular language; context-free language; one-counter net; automaton; grammar × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link