License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-27369
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2736/
Go to the corresponding Portal


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

10161 Executive Summary -- Decision Procedures in Software, Hardware and Bioware

pdf-format:
Document 1.pdf (116 KB)


Abstract

The main goal of the seminar Decision Procedures in Soft, Hard and Bio-ware was to bring together renowned as well as young aspiring researchers from two groups. The first group formed by researchers who develop both theory and efficient implementations of decision procedures. The second group comprising of researchers from application areas such as program analysis and testing, crypto-analysis, hardware verification, industrial planning and scheduling, and bio-informatics, who have worked with, and contributed to, high quality decision procedures. The purpose of the seminar was to heighten awareness between tool and theory developers for decision procedures with the array of applications found in software, hardware and biological systems analysis.

BibTeX - Entry

@InProceedings{bjorner_et_al:DSP:2010:2736,
  author =	{Nikolaj Bjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
  title =	{10161 Executive Summary -- 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/2736},
  annote =	{Keywords: Decision procedures, software, hardware, bioware}
}

Keywords: Decision procedures, software, hardware, bioware
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