DagRep.4.8.89.pdf
- Filesize: 1.03 MB
- 18 pages
Document
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 4, Issue 8
Volume: Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2014-12-09
Cite AsGet BibTex
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur. Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). In Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/DagRep.4.8.89
https://doi.org/10.4230/DagRep.4.8.89
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.
Keywords
- Program analysis
- Abstract interpretation
- Abstract domain
- Fixed-point finding
- Satisfiability checking
- Satisfiability modulo theories
- Decision pro
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads