Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Submitted to: c M. Alpuente, D. Ballis, J. Espert, F. Frechina, & D. Romero
 

Summary: Submitted to:
WWV 2011
c M. Alpuente, D. Ballis, J. Espert, F. Frechina, & D. Romero
This work is licensed under the
Creative Commons Attribution License.
Debugging of Web Applications with WEB-TLR
Mar´ia Alpuente Javier Espert Francisco Frechina Daniel Romero
DSIC-ELP, Universidad Polit´ecnica de Valencia
Camino de Vera s/n, Apdo 22012, 46071
Valencia, Spain
{alpuente,jespert,ffrechina,dromero}@dsic.upv.es
Demis Ballis
Dipartimento di Matematica e Informatica
Via delle Scienze 206, 33100
Udine, Italy
demis.ballis@uniud.it
WEB-TLR is a Web verification engine that is based on the well-established Rewriting Logic­
Maude/LTLR tandem for Web system specification and model-checking. In WEB-TLR, Web ap-
plications are expressed as rewrite theories that can be formally verified by using the Maude built-in
LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that re-

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences