Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model-checking Web Applications with Maria Alpuente1
 

Summary: Model-checking Web Applications with
Web-TLR
Mar´ia Alpuente1
, Demis Ballis2
, Javier Espert1
, and Daniel Romero1
1
DSIC-ELP, Universidad Polit´ecnica de Valencia
{alpuente,jespert,dromero}@dsic.upv.es
2
DIMI, University of Udine
demis@dimi.uniud.it
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 com-

  

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

 

Collections: Computer Technologies and Information Sciences