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.