2026-07-19T22:05:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2736 2024-03-06T11:09:17Z ddc:004 open_access

10161 Executive Summary – Decision Procedures in Software, Hardware and Bioware Bjorner, Nikolaj Nieuwenhuis, Robert Veith, Helmut Voronkov, Andrei Decision procedures software hardware bioware 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nikolaj Bjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 10161, Decision Procedures in Software, Hardware and Bioware (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.10161.2 urn:nbn:de:0030-drops-27369 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10161.2 eng https://creativecommons.org/licenses/by/4.0/legalcode