DREAM Tool 0.7 Beta
DREAM工具是一个通用的框架，它的目的是提供能表达几个（实时，功率消耗，资源）约束的共同的语义域。语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机，到目前为止，我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C...
DREAM工具是一个通用的框架，它的目的是提供能表达几个（实时，功率消耗，资源）约束的共同的语义域。语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机，到目前为止，我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C...