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

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

doi:10.4230/DagSemProc.10161.1

Document

10161 Abstracts Collection – 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.1.pdf

Filesize: 218 kB
15 pages

Document Identifiers

DOI: 10.4230/DagSemProc.10161.1
URN: urn:nbn:de:0030-drops-27421

Subject Classification

Keywords

Decision Procedures
Satisfiability Modulo Theories
Software Verification
Dynamic Symbolic Execution
Interpolants
Hardware Verification
Bio-analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

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

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