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

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



PDF
Thumbnail PDF

File

DagSemProc.10161.2.pdf
  • Filesize: 115 kB
  • 6 pages

Document Identifiers

Author Details

Nikolaj Bjorner
Robert Nieuwenhuis
Helmut Veith
Andrei Voronkov

Cite AsGet 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.
Keywords
  • Decision procedures
  • software
  • hardware
  • bioware

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail