- -

Listar por palabra clave "Counterexample generation"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Counterexample generation"

Ordenar por:Orden:Resultados:

  • thumb
    Verificación de aplicaciones web dinámicas con Web-TLR 
    Espert Real, Javier (Universitat Politècnica de València, 2011-07-20)
    Web-TLR is a software tool designed for model-checking Web applications that is based on rewriting logic. Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR ...