Model-Checking Web Applications with Web-TLR

@inproceedings{Alpuente2010ModelCheckingWA,
  title={Model-Checking Web Applications with Web-TLR},
  author={Mar{\'i}a Alpuente and Demis Ballis and Javier Espert and Daniel Romero},
  booktitle={ATVA},
  year={2010}
}
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 userfriendly, graphical Web interface that shields the user from unnecessary information… CONTINUE READING