DREAM Tool 0.7 Beta
DREAM工具是一个通用的框架,它的目的是提供能表达几个(实时,功率消耗,资源)约束的共同的语义域。语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机,到目前为止,我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C...
OMake是一个构建系统,具有相似的风格和语法使用GNU make但有许多额外的功能,其中包括跨越多个目录,默认的配置文件,简化了标准的编制任务,支持,在一次产生多个目标的命令大项目的支持,快速,可靠,自动化,脚本化的依赖使用MD5摘要分析,便携性,以及内置的功能,提供了如grep,sed和awk程序最常用的功能。 OMake还提供了主动监控文件系统重新启动这自动生成源文件时修改。可交互使用包含一个同伴命令解释 功能: ...
闪客互动项目是一个互动的反编译器,在用户开始用汇编代码C语言几乎直译,他逐渐被反编译的应用程序连续低级重构,最终LEA以下是“闪客互动”一些主要特点:...