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.
INTO-CPS-Association/URDF-VDM-Model
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commitcc52d1d · | ||||
