DagSemProc.10161.2.pdf
- Filesize: 115 kB
- 6 pages
Document
10161 Executive Summary – 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 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
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.
Subject Classification
Keywords
- Decision procedures
- software
- hardware
- bioware
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads