• 尽管我们每天都有越来越重要的计算机软件 生命,软件工程师很少分析他们的设计,以确保可靠性。 随着最近的软件的发展,这种情况开始变化
  • 合金组合了一种简化复杂软件建模的语言 使用分析引擎设计,用于广泛检查概念和 结构缺陷以自动的方式,将设计视为巨大的谜题 to be solved.
  • 在相对不久的将来,类似于合金的工具将大大改善 通过基于更强大的程序开发来支持软件的可靠性 和建设性的设计实践。