Web TLR

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

此软件的关键字

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


zbMATH参考文献(参考 8篇文章 参考)

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

  1. alpunte,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:通过运行时断言检查和跟踪切片调试Maude程序(2016)
  2. Alpuente,M.;Ballis,D.;Frechina,F.;Sapiña,J.:探索条件重写逻辑计算(2015)
  3. Alpuente,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:检查重写逻辑计算(以参数化和逐步方式)(2014年)
  4. Alpuente,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:iJulienne重写逻辑规范的基于切片的跟踪分析(2013)ioport公司
  5. 阿普特,马利亚;巴利斯,德米斯;弗雷奇纳,弗朗西斯科;罗梅罗,丹尼尔:朱利安:条件重写理论的跟踪切片器(2012)ioport公司
  6. Alpuente,María;Ballis,Demis;Frechina,Francisco;Romero,Daniel:条件重写理论的反向跟踪切片(2012)
  7. 阿普特,马利亚;巴利斯,德米斯;埃斯波特,哈维尔;罗梅罗,丹尼尔:重写逻辑理论的反向跟踪切片(2011)
  8. Alpunte,María;Ballis,Demis;Espert,Javier;Romero,Daniel:使用Web TLR进行模型检查的Web应用程序(2010)ioport公司