Mostrar el registro sencillo del ítem

dc.contributor.authorRocha, Camilo
dc.date.accessioned2018-11-26T10:34:04Z
dc.date.available2018-11-26T10:34:04Z
dc.date.created2018
dc.date.issued2018-11-26
dc.identifier.urihttps://hdl.handle.net/10630/16949
dc.description.abstractRewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e., systems that interact with a nondeterministic environment. Such systems exhibit both internal nondeterminism, which is proper to the system, and external nondeterminism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. In this talk, I will be discussing the main conceptual and technical ideas behind rewriting modulo SMT, its state of implementation in the Maude system, and some research challenges to be tackled during the next few years.en_US
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.en_US
dc.language.isospaen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectTipos de datos abstractos (Informática)en_US
dc.subject.otherRewritingen_US
dc.subject.otherSmten_US
dc.subject.otherMaudeen_US
dc.subject.otherVerificationen_US
dc.titleRewriting Modulo SMT and Open System Analysisen_US
dc.typeinfo:eu-repo/semantics/conferenceObjecten_US
dc.centroE.T.S.I. Informáticaen_US
dc.relation.eventplaceETSI Informáticaen_US
dc.relation.eventdate19/11/2018en_US


Ficheros en el ítem

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

Mostrar el registro sencillo del ítem