Program menurut guml.sf.net

Bahasa dan alat pemrograman memungkinkan: pembuatan kode mudah untuk Java,C#,C++,..; verifikasi kebenaran kode dan properti formal. Tujuannya adalah untuk memungkinkan reusabilitas maksimum komponen (tanpa ketergantungan baha