DagSemProc.10161.1.pdf
- Filesize: 218 kB
- 15 pages
Document
10161 Abstracts Collection – Decision Procedures in Software, Hardware and Bioware
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 10161
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-08-25
Cite AsGet 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
https://doi.org/10.4230/DagSemProc.10161.1
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.
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)
0PDF Downloads