阿泰

用ÁTAME推断安全的Maude程序。在本文中,我们提出了一个多范例语言Maude的基于断言的程序专门化工具。program specializerÁTAME以一组系统断言作为输入,该断言集模拟预期的程序行为,再加上一个Maude程序R,该程序可能违反a中的某些断言。该工具的结果是R的一个安全的程序求精R′,其中每一个计算都运行良好,即满足a中的断言。在新窗口的开放图像中编码的特化技术是完全自动的,它保证了R′中没有好的运行,而坏运行的数量减少到零。我们通过专门化一个过于通用的不确定性大坝控制器来实现由一组系统断言给出的安全策略来演示工具的功能。

此软件的关键字

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