License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-27421
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2742/

Bjorner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei

10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware

pdf-format:
Dokument 1.pdf (218 KB)


Abstract

From April 19th, 2010 to April 23rd, 2010, the Dagstuhl Seminar 10161 "Decision Procedures in Soft, Hard and Bio-ware" was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as links to slides and links to papers behind the presentations and papers produced as a result of the seminar are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

BibTeX - Entry

@InProceedings{bjorner_et_al:DSP:2010:2742,
  author =	{Nikolaj Bjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
  title =	{10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware},
  booktitle =	{Decision Procedures in Software, Hardware and Bioware},
  year =	{2010},
  editor =	{Nikolaj Bjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
  number =	{10161},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2742},
  annote =	{Keywords: Decision Procedures, Satisfiability Modulo Theories, Software Verification, Dynamic Symbolic Execution, Interpolants, Hardware Verification, }
}

Keywords: Decision Procedures, Satisfiability Modulo Theories, Software Verification, Dynamic Symbolic Execution, Interpolants, Hardware Verification,
Freie Schlagwörter (englisch): Bio-analysis
Seminar: 10161 - Decision Procedures in Software, Hardware and Bioware
Issue date: 2010
Date of publication: 25.08.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI