Author: Nick Battle
This example is a simple Sorting library with tests that are partly formed from combinatorial traces,
and partly from VDMUnit tests.
Language Version: vdm10
Entry point : new TestAll().Run()
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.7Bemerkung:
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-04-28)
¤
*Eine klare Vorstellung vom Zielzustand
