堡垒

正式实时调度器(FORTS)。FORTS是我用C++编写的线性混合自动机(LHA)上的模型检查器。FORTS的基本部分组成了一个解析器来读取脚本输入中的LHA模型,以及一个对安全属性进行可达性分析的引擎。它专门用于实时调度问题。

此软件的关键字

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