This repository contains a work-in-progress VDM-SL schema for validating URDF files against the URDF wiki. The tests can be run using the Tests/Test.vdmsl script.