About

AalWiNes (AALborg WIen NEtwork verification Suite) is a result of the collaboration between Aalborg University and Vienna University. In order to contact us, please, use the email aalwines(at)cs.aau.dk.

The current list of contributors include:

• Bernhard Schrenk (Vienna University)
• Peter Gjøl Jensen (Aalborg University)
• Dan Kristiansen (Aalborg University)
• Stefan Schmid (Vienna University)
• Morten Konggaard Schou (Aalborg University)
• Jiri Srba (Aalborg University)

The verification suite is a continuation of the tool P-Rex written in Python that was developed by

• Jesper Stenbjerg Jensen (Aalborg University)
• Troels Beck Krøgh (Aalborg University)
• Jonas Sand Madsen (Aalborg University)
• Stefan Schmid (Vienna University)
• Jiri Srba (Aalborg University)
• Marc Tom Thorgersen (Aalborg University)

and published at CoNEXT’18 ( https://dl.acm.org/doi/10.1145/3281411.3281432 ). The theory of translating reachability in MPLS networks to emptiness checking of pushdown automata was published at INFOCOM’18 ( https://ieeexplore.ieee.org/document/8486261 ). A tool paper introducing the new features of AalWiNes is about to appear at CoNEXT’20.