- -

infChecker. A Tool for Checking Infeasibility

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

infChecker. A Tool for Checking Infeasibility

Show full item record

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

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/181069

Files in this item

Thumbnail
Name: GutierrezLucas - ...
Size: 1.060Mb
Format: PDF
Description: Versión editorial
Open/Preview

Item Metadata

Title: infChecker. A Tool for Checking Infeasibility
Author: Gutiérrez Gil, Raúl Lucas Alba, Salvador
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
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 ...[+]
Subjects: Infeasibility , Program analysis , Term rewriting
Copyrigths: Reserva de todos los derechos
Source:
Joint Proceedings of HOR 2019 and IWC 2019.
Publisher:
Universidade de Brasilia
Publisher version: https://hor2019.github.io/
Conference name: 8th International Workshop on Confluence (IWC 2019)
Conference place: Dortmund, Germany
Conference date: Junio 28-28,2019
Project ID:
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/
info:eu-repo/grantAgreement/UPV-VIN//SP20180225//Herramientas formales para la verificación de programas/
info:eu-repo/grantAgreement///PROMETEO%2F2019%2F098//DEEPTRUST/
Thanks:
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 ...[+]
Type: Comunicación en congreso

recommendations

 

This item appears in the following Collection(s)

Show full item record