elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

metaSMT: A unifield interface to SMT-LIB2

Riener, Heinz and Soeken, M. and Werther, C. and Fey, Görschwin and Drechlser, R. (2014) metaSMT: A unifield interface to SMT-LIB2. Forum on Specification and Design Languages, 14.-16. Okt. 2014, Deutschland (München).

Full text not available from this repository.

Official URL: http://www.informatik.uni-bremen.de/agra/doc/konf/2014_fdl_metaSMT.pdf

Abstract

Various problems from artificial intelligence and formal methods are solved utilizing Satisfiability Modulo The- ories (SMT) solvers. Selecting the best SMT solver for a specific application, however, is a daunting task. In this paper, we present the novel metaSMT TCP server and client architecture which can be used to solve SMT instances expressed in SMT-LIB2 by multiple solver processes in parallel. The metaSMT TCP server provides a unified interface for SMT-LIB2 instances with the capability to either use the API or the file interface of a solver process and thus serves as a highly customizable portfolio solver. We show that the run-time overhead required by the metaSMT TCP server and client architecture is marginal using selected benchmarks from SMT-LIB.

Item URL in elib:https://elib.dlr.de/93844/
Document Type:Conference or Workshop Item (Speech)
Title:metaSMT: A unifield interface to SMT-LIB2
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Soeken, M.UNSPECIFIEDUNSPECIFIED
Werther, C.UNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Drechlser, R.UNSPECIFIEDUNSPECIFIED
Date:2014
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:satisfiability modula theories, unified interface, SMT-LIB2
Event Title:Forum on Specification and Design Languages
Event Location:Deutschland (München)
Event Type:international Conference
Event Dates:14.-16. Okt. 2014
Organizer:IEEECEDA
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Core Avionics
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Hoffmann, Jana Christin
Deposited On:08 Jan 2015 11:43
Last Modified:17 Feb 2015 09:57

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.