制服

统一工作台是形式化方法的通用开发环境。统一工作台支持形式化方法的组合(在坚实的逻辑基础上),为混合、实时或反应式系统的开发、转换、验证、验证和测试提供工具。此外,它还包括一个通用框架,用于在一个共同的开发环境中集成方法和工具。介绍了几个工业案例研究。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换