The WASP Research Arena (WARA) for Software is an in-development demonstrator for the WASP project. Our goal is to enable software-related research (primarily, but not exclusively on software technology) in collaboration between WASP industrial partners and universities.

While discussions are still ongoing, the current WARA for Software design is split into two phases:

  • Phase A will focus on non-interactive tools (static and dynamic bug checkers, compilers etc.) and their applications to Open Source software of importance to the WASP industrial partners
  • Phase B will add interactive tools (refactoring tools, interactive provers) and enable more direct research collaborations between industry and academia

More details will be announced soon.

WARA for Software resources

For technical resources, please refer to our github page.


For now, please contact Christoph Reichenbach for questions.