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

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

doi:10.4230/DagSemProc.10161.2

Document

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

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 10161
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2010-08-25

PDF

File

PDF

DagSemProc.10161.2.pdf

Filesize: 115 kB
6 pages

Document Identifiers

DOI: 10.4230/DagSemProc.10161.2
URN: urn:nbn:de:0030-drops-27369

Subject Classification

Keywords

Decision procedures
software
hardware
bioware

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov. 10161 Executive Summary – Decision Procedures in Software, Hardware and Bioware. In Decision Procedures in Software, Hardware and Bioware. Dagstuhl Seminar Proceedings, Volume 10161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/DagSemProc.10161.2

Author Details

Nikolaj Bjorner

Robert Nieuwenhuis

Helmut Veith

Andrei Voronkov

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail