Document Open Access Logo

Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)

Authors Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.1.7.23.pdf
  • Filesize: 0.77 MB
  • 13 pages

Document Identifiers

Author Details

Nikolaj Bjorner
Robert Nieuwenhuis
Helmut Veith
Andrei Voronkov
and all authors of the abstracts in this report

Cite AsGet BibTex

Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov. Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). In Dagstuhl Reports, Volume 1, Issue 7, pp. 23-35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/DagRep.1.7.23

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 11272 "Decision Procedures in Soft, Hard and Bio-ware (Follow Up)". It was held as a follow-on for a seminar 10161, of the same title, that took place in late April 2010 during the initial eruption of Eyjafjallajökull. In spite of the travel disruptions caused by the eruption of the volcano, the original seminar received a respectable turnout by European, mainly German and Italian participants. Unfortunately, the eruption hindered participation from overseas or even more distant parts of Europe. This caused the seminar to cover only part of the original objective. The follow-on seminar focused on the remaining objectives, in particular to bio-ware and constraint solving methods.
Keywords
  • Hardware and Software Verification
  • Bio-analysis
  • Satisfiability Modulo Theories
  • Dynamic Symbolic Execution
  • Interpolants

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