开发者 guml.sf.net

编程语言和工具允许：为Java、C#、C++,..;验证代码正确性和形式属性。其目的是允许组件的最大可重复性（不依赖于语言），以及证明它们的正确性。