DC Field | Value | Language |
---|---|---|
dc.contributor.author | YU, GEUNYEOL | - |
dc.contributor.author | BAE, KYUNGMIN | - |
dc.date.accessioned | 2020-10-08T00:50:04Z | - |
dc.date.available | 2020-10-08T00:50:04Z | - |
dc.date.created | 2020-10-05 | - |
dc.date.issued | 2020-10-22 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/104255 | - |
dc.description.abstract | This 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.language | English | - |
dc.publisher | ETAPS | - |
dc.relation.isPartOf | International Workshop on Rewriting Logic and its Applications (WRLA) | - |
dc.relation.isPartOf | Rewriting Logic and its Applications, 13th International Workshop, WRLA 2020 | - |
dc.title | Maude-SE: a Tight Integration of Maude and SMT Solvers | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | International Workshop on Rewriting Logic and its Applications (WRLA), pp.220 - 232 | - |
dc.citation.conferenceDate | 2020-10-20 | - |
dc.citation.conferencePlace | IE | - |
dc.citation.endPage | 232 | - |
dc.citation.startPage | 220 | - |
dc.citation.title | International Workshop on Rewriting Logic and its Applications (WRLA) | - |
dc.contributor.affiliatedAuthor | YU, GEUNYEOL | - |
dc.contributor.affiliatedAuthor | BAE, KYUNGMIN | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.