elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

metaSMT: A unifield interface to SMT-LIB2

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

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

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

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/93844/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:metaSMT: A unifield interface to SMT-LIB2
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Riener, HeinzNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Soeken, M.NICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Werther, C.NICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Drechlser, R.NICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2014
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Status:veröffentlicht
Stichwörter:satisfiability modula theories, unified interface, SMT-LIB2
Veranstaltungstitel:Forum on Specification and Design Languages
Veranstaltungsort:Deutschland (München)
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:14 Oktober 2014
Veranstaltungsende:16 Oktober 2014
Veranstalter :IEEECEDA
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:Technik für Raumfahrtsysteme
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R SY - Technik für Raumfahrtsysteme
DLR - Teilgebiet (Projekt, Vorhaben):R - Core Avionics (alt)
Standort: Bremen
Institute & Einrichtungen:Institut für Raumfahrtsysteme > Avioniksysteme
Hinterlegt von: Hoffmann, Jana Christin
Hinterlegt am:08 Jan 2015 11:43
Letzte Änderung:24 Apr 2024 19:59

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.