As part of the “WASP software arena” project, CASTOR contributed an extension to the “benchexec” infrastructure that has been used over the last ten years to evaluate various software verification tools for C and Java programs. CASTOR’s contribution provides the setup to verify software-defined network (SDN) technology. We are proud that our work has become part of the official distribution as a contribution under “p4”, referring to P4, the open-source programming language that is the future of SDN.

More information: