Verification and Configuration of Software-based Networks