已固定

1. SNTSVV公司/亚利桑那州 SNTSVV/ARIsTEO公司 公共

   基于AppRoxImation的测试生成

   Fortran公司 三 2

2. SNTSVV公司/SOCRATE公司 SNTSVV/SOCRATE 公共

   不确定CPS需求的Simulink Oracle

   Java语言 5 2

3. 方法 方法 公共

   定时自动支票

   Java语言 三 4

4. 巴基斯坦铝业公司 巴基斯坦铝业公司 公共

   模式bAsed MIssion说明符

   Java语言 1

5. 盖子 盖子 公共

   COVER（基于变更的gOal VErifier和Reasoner）是一个统一的框架，支持需求工程师和软件设计师之间的相互作用。

   Java语言

6. 芡欧鼠尾草 芡欧鼠尾草 公共

   不完全自动机的CHecher

   Java语言