OpenNWA: A Nested-Word Automaton Library
Abstract elided by the publisher.
Related papers
- Nested interpolants POPL 2010
- Extending QuAK with Nested Quantitative Automata CAV 2026
- A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata TACAS 2026
- The Equivalence Problem for Program Schemata with Nonintersecting Loops POPL 1977
- Model-Checking Structured Context-Free Languages CAV 2021
- A Model Checker for Operator Precedence Languages TOPLAS 2023
- Nesting and composition in transactional data structure libraries PPoPP 2020
- Learning Universally Quantified Invariants of Linear Data Structures CAV 2013