Web TLR

使用Web TLR对Web应用程序进行模型检查。webtlr是一种基于重写逻辑的Web应用模型检查软件工具。Web应用程序被表示为重写理论,可以使用Maude内置的LTLR模型检查器进行形式化验证。webtlr配备了一个用户友好的图形化Web界面,保护用户不受不必要信息的影响。每当一个属性被驳斥时,就会生成一个交互式幻灯片,允许用户一步一步地直观地再现错误的导航跟踪,这是失败的模型检查计算的基础。这提供了对系统行为的深入了解,这有助于调试Web应用程序。

此软件的关键字

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


zbMATH中的参考文献(参考文献8条)

显示第1到第8个结果,共8个。
按年份排序(引用)

  1. 阿普特,马尔ía;巴利斯,黛米斯;弗雷奇纳,旧金山;萨皮ña、 朱莉娅:通过运行时断言检查和跟踪切片调试Maude程序(2016)
  2. 阿尔普特,M。;巴利斯,D。;弗雷奇纳,F。;萨皮ña、 J.:探索条件重写逻辑计算(2015)
  3. 阿普特,马尔ía;巴利斯,黛米斯;弗雷奇纳,旧金山;萨皮ña、 朱莉娅:检查重写逻辑计算(以参数和逐步的方式)(2014年)
  4. 阿普特,马尔ía;巴利斯,黛米斯;弗雷奇纳,旧金山;萨皮ña、 Julia:iJulienne重写逻辑规范的基于切片的跟踪分析(2013)ioport公司
  5. 阿普特,马尔ía;巴利斯,黛米斯;弗雷奇纳,旧金山;Romero,Daniel:Julienne:条件重写理论的跟踪切片器(2012)ioport公司
  6. 阿普特,马尔ía;巴利斯,黛米斯;弗雷奇纳,旧金山;Romero,Daniel:条件重写理论的反向跟踪切片(2012)
  7. 阿普特,马尔ía;巴利斯,黛米斯;埃斯波特,沙维尔;Romero,Daniel:重写逻辑理论的反向跟踪切片(2011)
  8. 阿尔普特马尔ía;巴利斯,黛米斯;埃斯波特,沙维尔;Romero,Daniel:使用Web TLR对Web应用程序进行模型检查(2010)ioport公司