Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

Maude-SE: a Tight Integration of Maude and SMT Solvers

Title
Maude-SE: a Tight Integration of Maude and SMT Solvers
Authors
YU, GEUNYEOLBAE, KYUNGMIN
Date Issued
22-Oct-2020
Publisher
ETAPS
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.
URI
http://oasis.postech.ac.kr/handle/2014.oak/104255
Article Type
Conference
Citation
International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22
Files in This Item:
There are no files associated with this item.

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