Tree Automata

MaRDI QIDQ40549swMATHFDO

Official website https://www.isa-afp.org/entries/Tree-Automata.html

Cited in

(9)

• TkWinHOL
• CAVA Automata Library
• DiskPaxos
• Light-weight Containers
• LTL_to_GBA
• Real_Impl
• Automatic refinement to efficient data structures: a comparison of two approaches
• Applying data refinement for monadic programs to Hopcroft's algorithm
• Reachability, confluence, and termination analysis with state-compatible automata

This page was built for software: Tree Automata