Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads
Full metadata record
Files in This Item:
There are no files associated with this item.
DC FieldValueLanguage
dc.contributor.authorYU, GEUNYEOL-
dc.contributor.authorBAE, KYUNGMIN-
dc.date.accessioned2020-10-08T00:50:04Z-
dc.date.available2020-10-08T00:50:04Z-
dc.date.created2020-10-05-
dc.date.issued2020-10-22-
dc.identifier.urihttps://oasis.postech.ac.kr/handle/2014.oak/104255-
dc.description.abstractThis paper presents Maude-SE, an SMT extension of Maude that tightly integrates Maude and SMT solvers with extra functionality. In addition to the existing SMT solving capability of Maude, the tool provides three additional features that are not currently supported by Maude but that are very useful for rewriting modulo SMT: (i) building satisfying assignments by SMT solving, (ii) simplifying formulas using the underlying SMT solver, and (iii) dealing with non-linear arithmetic formulas. Hence, Maude-SE can analyze nontrivial systems that cannot be dealt with by the previous Maude-SMT implementation.-
dc.languageEnglish-
dc.publisherETAPS-
dc.relation.isPartOfInternational Workshop on Rewriting Logic and its Applications (WRLA)-
dc.relation.isPartOfRewriting Logic and its Applications, 13th International Workshop, WRLA 2020-
dc.titleMaude-SE: a Tight Integration of Maude and SMT Solvers-
dc.typeConference-
dc.type.rimsCONF-
dc.identifier.bibliographicCitationInternational Workshop on Rewriting Logic and its Applications (WRLA), pp.220 - 232-
dc.citation.conferenceDate2020-10-20-
dc.citation.conferencePlaceIE-
dc.citation.endPage232-
dc.citation.startPage220-
dc.citation.titleInternational Workshop on Rewriting Logic and its Applications (WRLA)-
dc.contributor.affiliatedAuthorYU, GEUNYEOL-
dc.contributor.affiliatedAuthorBAE, KYUNGMIN-
dc.description.journalClass1-
dc.description.journalClass1-

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

배경민BAE, KYUNGMIN
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse