- -

infChecker. A Tool for Checking Infeasibility

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

infChecker. A Tool for Checking Infeasibility

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: GutierrezLucas - ...
Tamaño: 1.060Mb
Formato: PDF
Descripción: Versión editorial
Abrir
dc.contributor.author Gutiérrez Gil, Raúl es_ES
dc.contributor.author Lucas Alba, Salvador es_ES
dc.date.accessioned 2022-02-25T07:43:05Z
dc.date.available 2022-02-25T07:43:05Z
dc.date.issued 2019-06-28 es_ES
dc.identifier.uri http://hdl.handle.net/10251/181069
dc.description.abstract [EN] Given a Conditional Term Rewriting System (CTRS) R and terms s and t, we say that the reachability condition s ->* t is *feasible* if there is a substitution \sigma instantiating the variables in s and t such that the *reachability test* \sigma(s)->* \sigma(t) succeeds; otherwise, we call it *infeasible*. Checking infeasibility of such (sequences of) reachability conditions is important in the analysis of computational properties of CTRSs, like confluence or operational termination. Recently, a logic-based approach to prove and disprove infeasibility has been introduced. In this paper we present infChecker, a new tool for checking infeasibility which is based on such an approach. es_ES
dc.description.sponsorship Partially supported by the EU (FEDER), and projects RTI2018-094403-B-C32, PROMETEO/2019/098, and SP20180225. Raul Gutierrez was also supported by INCIBE program Ayudas para la excelencia de los equipos de investigacion avanzada en ciberseguridad. es_ES
dc.language Inglés es_ES
dc.publisher Universidade de Brasilia es_ES
dc.relation.ispartof Joint Proceedings of HOR 2019 and IWC 2019 es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Infeasibility es_ES
dc.subject Program analysis es_ES
dc.subject Term rewriting es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title infChecker. A Tool for Checking Infeasibility es_ES
dc.type Comunicación en congreso es_ES
dc.relation.projectID info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/UPV-VIN//SP20180225//Herramientas formales para la verificación de programas/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement///PROMETEO%2F2019%2F098//DEEPTRUST/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Gutiérrez Gil, R.; Lucas Alba, S. (2019). infChecker. A Tool for Checking Infeasibility. Universidade de Brasilia. 38-42. http://hdl.handle.net/10251/181069 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 8th International Workshop on Confluence (IWC 2019) es_ES
dc.relation.conferencedate Junio 28-28,2019 es_ES
dc.relation.conferenceplace Dortmund, Germany es_ES
dc.relation.publisherversion https://hor2019.github.io/ es_ES
dc.description.upvformatpinicio 38 es_ES
dc.description.upvformatpfin 42 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.pasarela S\404863 es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder Instituto Nacional de Ciberseguridad es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem