開發者 guml.sf.net

程式設計語言和工具允許：為JAVA、C#、C++,..;驗證代碼正確性和形式屬性。其目的是允許元件的最大可重複性（不依賴於語言），以及證明它們的正確性。