WALi-NWA is a library implementing Nested-Word Automata (NWAs) and related concepts. The library is an extension to the WALi library for performing operations on weighted pushdown systems; both libraries are written in C++. We define NWAs and related concepts, and provide a description of the API of the WALi-NWA library.

(Click here to access the paper: PDF.)