程式設計語言和工具允許:為JAVA、C#、C++,..;驗證代碼正確性和形式屬性。其目的是允許元件的最大可重複性(不依賴於語言),以及證明它們的正確性。
版本歷史記錄
- 版本 N/A 發佈於 2011-08-09
若干修復和更新 - 版本 N/A 發佈於 2011-08-09
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: guml.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
程式設計語言和工具允許:為JAVA、C#、C++,..;驗證代碼正確性和形式屬性。其目的是允許元件的最大可重複性(不依賴於語言),以及證明它們的正確性。