VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata

DOI10.1007/978-3-642-28756-5_7zbMath1352.68135OpenAlexW342816535MaRDI QIDQ2894267

Jiří Šimáček, Ondřej Lengál, Tomáš Vojnar

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A theoretical framework for cardinality-based feature models: the semantics and computational aspects, Compositional entailment checking for a fragment of separation logic, Symbolic tree automata, Nested antichains for WS1S

Uses Software

• CUDD
• MONA
• Timbuk
• VATA
• LETHAL
• MTBDD