Versenden
Drucken
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, 14.-16. Okt. 2014, 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: |
| ||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||
| Veranstaltungsdatum: | 14.-16. Okt. 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: | 17 Feb 2015 09:57 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
