LALBLC: a program testing the equivalence of DPDA’s. We describe the program LALBLC which tests whether two deterministic pushdown automata recognize the same language.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Delaune, Stéphanie; Hirschi, Lucca: A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (2017)
- Chrétien, Rémy; Cortier, Véronique; Delaune, Stéphanie: From security protocols to pushdown automata (2015)
- Jančar, Petr: Equivalences of pushdown systems are hard (2014)
- Henry, Patrick; Sénizergues, Géraud: LALBLC: a program testing the equivalence of dpda’s (2013)