License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.8.89
URN: urn:nbn:de:0030-drops-48007
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4800/
Go back to Dagstuhl Reports

Kroening, Daniel ; Reps, Thomas W. ; Seshia, Sanjit A. ; Thakur, Aditya
Weitere Beteiligte (Hrsg. etc.): Daniel Kroening and Thomas W. Reps and Sanjit A. Seshia and Aditya Thakur

Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)

pdf-format:
dagrep_v004_i008_p089_s14351.pdf (1 MB)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation". The seminar brought together practitioners and reseachers in abstract interpretation and decision procedures.
The meeting highlighted the connections between the two disciplines, and created new links between the two research communities. Joint activities were also conducted with the participants of Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools", which was held concurrently.

BibTeX - Entry

@Article{kroening_et_al:DR:2014:4800,
  author =	{Daniel Kroening and Thomas W. Reps and Sanjit A. Seshia and Aditya Thakur},
  title =	{{Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)}},
  pages =	{89--106},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Daniel Kroening and Thomas W. Reps and Sanjit A. Seshia and Aditya Thakur},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4800},
  URN =		{urn:nbn:de:0030-drops-48007},
  doi =		{10.4230/DagRep.4.8.89},
  annote =	{Keywords: Program analysis, Abstract interpretation, Abstract domain, Fixed-point finding, Satisfiability checking, Satisfiability modulo theories, Decision pro}
}

Keywords: Program analysis, Abstract interpretation, Abstract domain, Fixed-point finding, Satisfiability checking, Satisfiability modulo theories, Decision pro
Collection: Dagstuhl Reports, Volume 4, Issue 8
Issue Date: 2014
Date of publication: 09.12.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI