DREAM Tool 0.7 Beta
DREAM工具是一個通用的框架，它的目的是提供能表達幾個（實時，功率消耗，資源）約束的共同的語義域。語義域有一個可執行的C ++模型已語義錨定在混合自動形式主義。雖然計算的模型對應的混合自動機，到目前為止，我們已經成功地使用時間自動機上大小適中系統由保守近似分析模型。為了應對大規模的例子用戶實施系統之前使用的模擬/測試界面上可執行的C...
DREAM工具是一個通用的框架，它的目的是提供能表達幾個（實時，功率消耗，資源）約束的共同的語義域。語義域有一個可執行的C ++模型已語義錨定在混合自動形式主義。雖然計算的模型對應的混合自動機，到目前為止，我們已經成功地使用時間自動機上大小適中系統由保守近似分析模型。為了應對大規模的例子用戶實施系統之前使用的模擬/測試界面上可執行的C...