Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

Simple item page
dc.conference.date8-10 Ago 2022
dc.conference.placeHaifa, Israel
dc.conference.titleIJCAR 2022
dc.contributor.authorDurán, Francisco
dc.contributor.authorEker, Steven
dc.contributor.authorEscobar, Santiago
dc.contributor.authorMartí Oliet, Narciso
dc.contributor.authorMeseguer, José
dc.contributor.authorRubio Cuéllar, Rubén Rafael
dc.contributor.authorTalcott, Carolyn
dc.contributor.editorBlanchette, Jasmin
dc.contributor.editorKovács, Laura
dc.contributor.editorPattinson, Dirk
dc.date.accessioned2024-01-23T16:09:29Z
dc.date.available2024-01-23T16:09:29Z
dc.date.issued2022
dc.description.abstractEquational unification and matching are fundamental mechanisms in many automated deduction applications. Supporting them efficiently for as wide as possible a class of equational theories, and in a typed manner supporting type hierarchies, benefits many applications; but this is both challenging and nontrivial. We present Maude 3.2’s efficient support of these features as well as of symbolic reachability analysis of infinite-state concurrent systems based on them.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.sponsorshipAgencia Estatal de Investigación
dc.description.sponsorshipJunta de Andalucía
dc.description.sponsorshipFEDER
dc.description.sponsorshipEuropean Union
dc.description.sponsorshipGeneralitat Valenciana
dc.description.sponsorshipU. S. Office of Naval Research
dc.description.statuspub
dc.identifier.doi10.1007/978-3-031-10769-6_31
dc.identifier.isbn9783031107689
dc.identifier.isbn9783031107696
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttps://hdl.handle.net/20.500.14352/94853
dc.language.isoeng
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PGC2018-094905-B-I00/ES/DIGITAL AVATARS: UN FRAMEWORK PARA APLICACIONES DE COMPUTACION SOCIAL COLABORATIVA/
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108528RB-C22/ES/METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS/
dc.relation.projectIDinfo: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/
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PCI2020-120708-2/ES/FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS/
dc.relation.projectIDinfo:eu-repo/grantAgreeement/Junta de Andalucía//UMA18-FEDERJA-180
dc.relation.projectIDinfo:eu-repo/grantAgreeement/Generalitat Valenciana//PROMETEO/2019/098
dc.relation.projectIDinfo:eu-repo/grantAgreeement/U. S. Office of Naval Research//N00014-15-1-2202
dc.relation.projectIDinfo:eu-repo/grantAgreeement/U. S. Office of Naval Research//N00014-20-1-2644
dc.relation.projectIDinfo:eu-repo/grantAgreeement/U. S. Office of Naval Research//N0017317-1-G002
dc.relation.projectIDinfo:eu-repo/grantAgreement/EC/H2020/952215/EU
dc.rightsAttribution 4.0 Internationalen
dc.rights.accessRightsopen access
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subject.keywordSymbolic reachability
dc.subject.keywordRewriting logic
dc.subject.keywordNarrowing
dc.subject.ucmInteligencia artificial (Informática)
dc.subject.ucmLenguajes de programación
dc.subject.unesco1203.04 Inteligencia Artificial
dc.subject.unesco1102.14 Lógica Simbólica
dc.subject.unesco1203.23 Lenguajes de Programación
dc.titleEquational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
dc.typeconference paper
dc.type.hasVersionVoR
dspace.entity.typePublication
relation.isAuthorOfPublicatione8d4e85a-2a43-444c-84e7-1fa5f392c50d
relation.isAuthorOfPublication7dfd0267-1708-4f39-bda5-55a246b4bc41
relation.isAuthorOfPublication.latestForDiscovery7dfd0267-1708-4f39-bda5-55a246b4bc41

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
978-3-031-10769-6_31.pdf
Size:
348.4 KB
Format:
Adobe Portable Document Format
downoload Download

Collections

Artículos