License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.10161.2
URN: urn:nbn:de:0030-drops-27369
URL: http://dagstuhl.sunsite.rwth-aachen.de/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:
10161.summary.2736.pdf (0.1 MB)

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:DagSemProc.10161.2,
  author =	{Bjorner, Nikolaj and Nieuwenhuis, Robert and Veith, Helmut and Voronkov, Andrei},
  title =	{{10161 Executive Summary – Decision Procedures in Software, Hardware and Bioware }},
  booktitle =	{Decision Procedures in Software, Hardware and Bioware},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10161},
  editor =	{Nikolaj Bjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2010/2736},
  URN =		{urn:nbn:de:0030-drops-27369},
  doi =		{10.4230/DagSemProc.10161.2},
  annote =	{Keywords: Decision procedures, software, hardware, bioware}
}

Keywords: Decision procedures, software, hardware, bioware
Collection: 10161 - Decision Procedures in Software, Hardware and Bioware
Issue Date: 2010
Date of publication: 25.08.2010

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI