@unpublished {ABER10, title = {Model-checking Web Applications with Web-TLR}, journal = {8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)}, year = {2010}, note = {to appear}, publisher = {Springer}, abstract = {Web-TLR is a software tool designed for model-checking Web applications which is based on rewriting logic. Web applications are expressed as rewrite theories which can be formally verified by using the Maude built-in LTLR model-checker. Web-TLR is equipped with a user-friendly, graphical Web interface that shields the user from unnecessary information. Whenever a property is refuted, an interactive slideshow is generated that allows the user to visually reproduce, step by step, the erroneous navigation trace that underlies the failing model checking computation. This provides deep insight into the system behavior, which helps to debug Web applications.}, keywords = {Model-checking, Rewriting Logic, Verification of Web Applications, Web-TLR}, author = {Maria Alpuente and Demis Ballis and J. Espert and Daniel Omar Romero} }