mech-uvl is a Dafny formalization and C# tooling project for the Universal Variability Language (UVL)
https://github.com/mech-uvl/mech-uvl
https://doi.org/10.5281/zenodo.21003070
Languages, Models and Verification
mech-uvl is a Dafny formalization and C# tooling project for the Universal Variability Language (UVL)
https://github.com/mech-uvl/mech-uvl
https://doi.org/10.5281/zenodo.21003070