<div class="csl-bib-body">
<div class="csl-entry">Bjørner, N., Nieuwenhuis, R., Veith, H., & Voronkov, A. (2011). Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). <i>Dagstuhl Reports</i>, <i>1</i>(7), 23–35. https://doi.org/10.4230/DagRep.1.7.23</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/163387
-
dc.description.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.
en
dc.language.iso
en
-
dc.publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
-
dc.relation.ispartof
Dagstuhl Reports
-
dc.subject
interpolants
en
dc.subject
Hardware and Software Verification
en
dc.subject
Bio-analysis
en
dc.subject
Satisfiability Modulo Theories
en
dc.subject
Dynamic Symbolic Execution
en
dc.title
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
en
dc.type
Artikel
de
dc.type
Article
en
dc.contributor.affiliation
Microsoft Research New England (United States), United States of America (the)
-
dc.contributor.affiliation
Universitat Politècnica de Catalunya, Spain
-
dc.contributor.affiliation
University of Manchester, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.description.startpage
23
-
dc.description.endpage
35
-
dc.type.category
Original Research Article
-
tuw.container.volume
1
-
tuw.container.issue
7
-
tuw.peerreviewed
false
-
wb.publication.intCoWork
International Co-publication
-
dcterms.isPartOf.title
Dagstuhl Reports
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.4230/DagRep.1.7.23
-
dc.identifier.eissn
2192-5283
-
dc.description.numberOfPages
13
-
tuw.author.orcid
0000-0002-1695-2810
-
tuw.author.orcid
0000-0002-6489-2138
-
tuw.author.orcid
0000-0003-1073-7615
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.openairetype
research article
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.cerifentitytype
Publications
-
crisitem.author.dept
Universitat Politècnica de Catalunya
-
crisitem.author.dept
E184 - Institut für Informationssysteme
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
